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