Use result exps instead of predicates for matching