NAME ="CALL" I = { a0?, b?, a1?, a2?, a3? } O = { c!, d0!, d1!, d2!, d3! } CALL_0_0_4 = [ a0? -> c!;CALL_1_0_4 , a1? -> c!;CALL_1_1_4 , a2? -> c!;CALL_1_2_4 , a3? -> c!;CALL_1_3_4 ] CALL_1_3_4 = [ b? -> d3!; CALL_0_0_4, a0? -> c!; CHAOS , a1? -> c!; CHAOS , a2? -> c!; CHAOS , a3? -> c!; CHAOS ] CALL_1_2_4 = [ b? -> d2!; CALL_0_0_4, a0? -> c!; CHAOS , a1? -> c!; CHAOS , a2? -> c!; CHAOS , a3? -> c!; CHAOS ] CALL_1_1_4 = [ b? -> d1!; CALL_0_0_4, a0? -> c!; CHAOS , a1? -> c!; CHAOS , a2? -> c!; CHAOS , a3? -> c!; CHAOS ] CALL_1_0_4 = [ b? -> d0!; CALL_0_0_4, a0? -> c!; CHAOS , a1? -> c!; CHAOS , a2? -> c!; CHAOS , a3? -> c!; CHAOS ]