Implemented induction of parameters to match predicates