pub const subst_and_check_impossible_predicates: &str = "subst_and_check_impossible_predicates";