{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"GoalSource::Misc,"}]}
            GoalSource::Misc,
        self.add_goals(
            cx.predicates_of(free_alias.def_id)