{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"response_no_constraints(cx,"}]}
        response_no_constraints(cx, input, Certainty::overflow(false))
    fn on_fixpoint_overflow(cx: I, input: CanonicalInput<I>) -> QueryResult<I> {
    }