Bugfix for transition predicate