----------------------------------------
|context> => |context: if-then machine>

supported-ops |node 1: 1> => |op: seq>
seq |node 1: 1> => |X>

supported-ops |node 1: 2> => |op: seq>
seq |node 1: 2> => |Y>

supported-ops |node 1: 3> => |op: seq>
seq |node 1: 3> => |X> + |Y>

supported-ops |node 1: *> => |op: then>
then |node 1: *> => |X or Y>

supported-ops |node 2: *> => |op: then>
then |node 2: *> => |X and Y>

supported-ops |node 2: 1> => |op: seq>
seq |node 2: 1> => |X> + |Y>

supported-ops |node 3: 1> => |op: seq>
seq |node 3: 1> => |X> + |Y> + |Z>

supported-ops |node 3: *> => |op: then>
then |node 3: *> => |X and Y and Z>
----------------------------------------