{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"responses.extend(self.consider_builtin_upcast_to_principal("}]}
                responses.extend(self.consider_builtin_upcast_to_principal(
            {
                    goal,