handle uninterpreted predicate