ltl alwayserr { [] ((statusa == err) || (statusb == err)) }