bynk.invariant.impure_predicate
must be pure
