bynk.contract.impure_predicate
