Possible if/2 predicate