f.out: take, sendto alu.in1;
take, sendto alu.in2;
-Alu2.inOp[ADD]: sendto alu.inOp;
alu.in1: [*] nop;
(*) take, deliver;
(*) deliver;
kill*;
alu.in2: take;
[*] deliver;
-alu.inOp: take;
+alu.inOp: literal Alu2.inOp[ADD];
[*] deliver;
alu.out: [*] nop;
(40) take, sendto alu.in1;