pub const subst_and_check_impossible_predicates: &'static str = _;