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