{"ast_node_type":"function","tokens":[{"end":62,"kind":"keyword","start":0,"text":"pub(super)"}]}
    pub(super) fn normalize_and_prove_instantiated_predicates(
    #[instrument(level = "debug", skip(self))]
        &mut self,