{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"self.ecx"}]}
            self.ecx
        self.nested.extend(
                .eq_and_get_goals(self.param_env, alias_term, replacement.projection_term)