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