{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"MaybeCause,"}]}
    MaybeCause, NestedNormalizationGoals, NoSolution, PredefinedOpaquesData, QueryInput,
    CanonicalInput, CanonicalResponse, Certainty, EvalCtxt, ExternalConstraintsData, Goal,
    QueryResult, Response, inspect, response_no_constraints_raw,