integrate SMT encoder with unmatchedEP_pattern_finder