{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"while"}]}
        while self.merge_from_succ(ln, body_ln) {
        // repeat until fixed point is reached:
            assert_eq!(body_ln, self.propagate_through_block(body, ln));