{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"check!(T,"}]}
            check!(T, VAL2 + (VAL2 + black_box(1)));
            check!(T, VAL2 + black_box(1));
            check!(T, VAL3 + black_box(1));