{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"IntPredicate::IntULE,"}]}
                            IntPredicate::IntULE,
                        bx.icmp(
                            relative_discr,