predicates for conversion pattern recognition