{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"result.reached_fixedpoint"}]}
                result.reached_fixedpoint = new.reached_fixedpoint;
            if result.reached_fixedpoint == ReachedFixedPoint::No {
            }