{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"mir::BinOp::Lt"}]}
                    mir::BinOp::Lt => (IntPredicate::IntULT, IntPredicate::IntULT),
                let (op, strict_op) = match op {
                    mir::BinOp::Le => (IntPredicate::IntULE, IntPredicate::IntULT),