<> <> PassBlock: CELL [input < INT[4], gate < INT, output> INT[4]] Eval IF gate THEN output _ input; ENDCELL; InvertBlock: CELL [input< INT[4], output> INT[4]] Eval output _ IntNot[4, input]; ENDCELL