NAME ="CALL" I = { a0?, b?, a1?, a2? } O = { c!, d0!, d1!, d2! } CALL_0_0_3 = [ a0? -> c!;CALL_1_0_3 , a1? -> c!;CALL_1_1_3 , a2? -> c!;CALL_1_2_3 ] CALL_1_2_3 = [ b? -> d2!; CALL_0_0_3, a0? -> c!; CHAOS , a1? -> c!; CHAOS , a2? -> c!; CHAOS ] CALL_1_1_3 = [ b? -> d1!; CALL_0_0_3, a0? -> c!; CHAOS , a1? -> c!; CHAOS , a2? -> c!; CHAOS ] CALL_1_0_3 = [ b? -> d0!; CALL_0_0_3, a0? -> c!; CHAOS , a1? -> c!; CHAOS , a2? -> c!; CHAOS ]