{"ast_node_type":"variable","tokens":[{"end":48,"kind":"keyword","start":0,"text":"let"}]}
                let (op, strict_op) = match op {
                // a OP b ~ a.0 STRICT(OP) b.0 | (a.0 == b.0 && a.1 OP a.1)
                    mir::BinOp::Lt => (IntPredicate::IntULT, IntPredicate::IntULT),