allow substitution predicates (even in B machines - the type checker should find that)