{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"(BinOp::Le,"}]}
        (BinOp::Le, true) => IntPredicate::IntSLE,
        (BinOp::Lt, false) => IntPredicate::IntULT,
        (BinOp::Le, false) => IntPredicate::IntULE,