{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"loop"}]}
        loop {
        // Fixpoint computation: we repeat until the inner loop stalls.
            let mut has_changed = false;