<> <> PassBlock: CELL [input < INT[4], gate < BOOL, output> INT[4]] EvalSimple IF gate THEN output _ input; ENDCELL; InvertBlock: CELL [input< INT[4], output> INT[4]] EvalSimple output _ 15 - input; ENDCELL