[ /* */ T: 3] [ /* */ T: 4] [ /* */ T: *x1] [ /* */ T: *x2] ( /* */ notequal 3 4 | ?x1) ( /* */ equal 3 4 | ?x2)