{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"for"}]}
        for _ in 0..FIXPOINT_STEP_LIMIT {
        let mut response = Ok(Certainty::overflow(false));
            // FIXME: This match is a bit ugly, it might be nice to change the inspect