Included exception predicate on evaluate_level