rec F Z 0 Z g U true h V I P not I P not true false not false true even 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 even N N B false B g N B h N N B N B not B B rec N N B N B B N B true B FULL /tmp/tmpfile.afsm