Fixed computeReach in QEABuilder - previously it didn't include error
state in transitive closure.