{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"(BinOp::Lt,"}]}
        (BinOp::Lt, true) => IntPredicate::IntSLT,
        (BinOp::Ne, _) => IntPredicate::IntNE,
        (BinOp::Lt, false) => IntPredicate::IntULT,