Catch Unsat exception (predicate for an inexistent instance)