pub const instantiate_and_check_impossible_predicates: &str = "instantiate_and_check_impossible_predicates";