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