{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"result.goals.iter().all(|goal|"}]}
        result.goals.iter().all(|goal| {
        };
            let canonicalized = self.canonicalize_with_free_vars(goal.clone());