{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"lhs_high"}]}
                    lhs_high = self.context.new_cast(self.location, lhs_high, unsigned_type);
                | IntPredicate::IntULE => {
                    rhs_high = self.context.new_cast(self.location, rhs_high, unsigned_type);