{"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":"&mut"}]}
        &mut self,
    pub(super) fn normalize_and_prove_instantiated_predicates(
        // Keep this parameter for now, in case we start using