bynk.transition.impure_predicate