pub const instantiate_and_check_impossible_predicates: DepKind;