rec F Z 0 Z g U true h V I P false iszero X1 Y1 rec h g X1 Y1 F N N B N B Z N B U N V N I N B P N X1 N Y1 N 0 N false B g N B h N N B N B iszero N N B rec N N B N B B N B true B FULL /tmp/tmpfile.afsm