
void main()
main: scope:[main]  from
  [0] phi()
  [1] call assertType
  to:main::@1
main::@1: scope:[main]  from main
  [2] phi()
  [3] call assertType
  to:main::@2
main::@2: scope:[main]  from main::@1
  [4] phi()
  [5] call assertType
  to:main::@3
main::@3: scope:[main]  from main::@2
  [6] phi()
  [7] call assertType
  to:main::@4
main::@4: scope:[main]  from main::@3
  [8] phi()
  [9] call assertType
  to:main::@5
main::@5: scope:[main]  from main::@4
  [10] phi()
  [11] call assertType
  to:main::@6
main::@6: scope:[main]  from main::@5
  [12] phi()
  [13] call assertType
  to:main::@7
main::@7: scope:[main]  from main::@6
  [14] phi()
  [15] call assertType
  to:main::@8
main::@8: scope:[main]  from main::@7
  [16] phi()
  [17] call assertType
  to:main::@9
main::@9: scope:[main]  from main::@8
  [18] phi()
  [19] call assertType
  to:main::@10
main::@10: scope:[main]  from main::@9
  [20] phi()
  [21] call assertType
  to:main::@11
main::@11: scope:[main]  from main::@10
  [22] phi()
  [23] call assertType
  to:main::@12
main::@12: scope:[main]  from main::@11
  [24] phi()
  [25] call assertType
  to:main::@13
main::@13: scope:[main]  from main::@12
  [26] phi()
  [27] call assertType
  to:main::@14
main::@14: scope:[main]  from main::@13
  [28] phi()
  [29] call assertType
  to:main::@15
main::@15: scope:[main]  from main::@14
  [30] phi()
  [31] call assertType
  to:main::@16
main::@16: scope:[main]  from main::@15
  [32] phi()
  [33] call assertType
  to:main::@17
main::@17: scope:[main]  from main::@16
  [34] phi()
  [35] call assertType
  to:main::@18
main::@18: scope:[main]  from main::@17
  [36] phi()
  [37] call assertType
  to:main::@19
main::@19: scope:[main]  from main::@18
  [38] phi()
  [39] call assertType
  to:main::@20
main::@20: scope:[main]  from main::@19
  [40] phi()
  [41] call assertType
  to:main::@21
main::@21: scope:[main]  from main::@20
  [42] phi()
  [43] call assertType
  to:main::@22
main::@22: scope:[main]  from main::@21
  [44] phi()
  [45] call assertType
  to:main::@23
main::@23: scope:[main]  from main::@22
  [46] phi()
  [47] call assertType
  to:main::@24
main::@24: scope:[main]  from main::@23
  [48] phi()
  [49] call assertType
  to:main::@25
main::@25: scope:[main]  from main::@24
  [50] phi()
  [51] call assertType
  to:main::@26
main::@26: scope:[main]  from main::@25
  [52] phi()
  [53] call assertType
  to:main::@27
main::@27: scope:[main]  from main::@26
  [54] phi()
  [55] call assertType
  to:main::@28
main::@28: scope:[main]  from main::@27
  [56] phi()
  [57] call assertType
  to:main::@29
main::@29: scope:[main]  from main::@28
  [58] phi()
  [59] call assertType
  to:main::@30
main::@30: scope:[main]  from main::@29
  [60] phi()
  [61] call assertType
  to:main::@31
main::@31: scope:[main]  from main::@30
  [62] phi()
  [63] call assertType
  to:main::@32
main::@32: scope:[main]  from main::@31
  [64] phi()
  [65] call assertType
  to:main::@33
main::@33: scope:[main]  from main::@32
  [66] phi()
  [67] call assertType
  to:main::@34
main::@34: scope:[main]  from main::@33
  [68] phi()
  [69] call assertType
  to:main::@return
main::@return: scope:[main]  from main::@34
  [70] return 
  to:@return

void assertType(char t1 , char t2)
assertType: scope:[assertType]  from main main::@1 main::@10 main::@11 main::@12 main::@13 main::@14 main::@15 main::@16 main::@17 main::@18 main::@19 main::@2 main::@20 main::@21 main::@22 main::@23 main::@24 main::@25 main::@26 main::@27 main::@28 main::@29 main::@3 main::@30 main::@31 main::@32 main::@33 main::@34 main::@4 main::@5 main::@6 main::@7 main::@8 main::@9
  [71] idx#80 = phi( main/0, main::@1/idx#39, main::@10/idx#39, main::@11/idx#39, main::@12/idx#39, main::@13/idx#39, main::@14/idx#39, main::@15/idx#39, main::@16/idx#39, main::@17/idx#39, main::@18/idx#39, main::@19/idx#39, main::@2/idx#39, main::@20/idx#39, main::@21/$50, main::@22/idx#39, main::@23/idx#39, main::@24/idx#39, main::@25/idx#39, main::@26/idx#39, main::@27/idx#39, main::@28/idx#39, main::@29/idx#39, main::@3/idx#39, main::@30/idx#39, main::@31/idx#39, main::@32/idx#39, main::@33/idx#39, main::@34/idx#39, main::@4/idx#39, main::@5/idx#39, main::@6/idx#39, main::@7/idx#39, main::@8/idx#39, main::@9/$28 )
  [71] assertType::t2#35 = phi( main/TYPEID_SIGNED_CHAR, main::@1/TYPEID_INT, main::@10/TYPEID_CHAR, main::@11/TYPEID_UNSIGNED_INT, main::@12/TYPEID_UNSIGNED_INT, main::@13/TYPEID_UNSIGNED_LONG, main::@14/TYPEID_UNSIGNED_INT, main::@15/TYPEID_UNSIGNED_INT, main::@16/TYPEID_UNSIGNED_LONG, main::@17/TYPEID_UNSIGNED_LONG, main::@18/TYPEID_UNSIGNED_LONG, main::@19/TYPEID_UNSIGNED_LONG, main::@2/TYPEID_LONG, main::@20/TYPEID_UNSIGNED_LONG, main::@21/TYPEID_CHAR, main::@22/TYPEID_CHAR, main::@23/TYPEID_CHAR, main::@24/TYPEID_UNSIGNED_INT, main::@25/TYPEID_UNSIGNED_INT, main::@26/TYPEID_UNSIGNED_LONG, main::@27/TYPEID_UNSIGNED_INT, main::@28/TYPEID_UNSIGNED_INT, main::@29/TYPEID_UNSIGNED_INT, main::@3/TYPEID_INT, main::@30/TYPEID_UNSIGNED_LONG, main::@31/TYPEID_UNSIGNED_LONG, main::@32/TYPEID_UNSIGNED_LONG, main::@33/TYPEID_UNSIGNED_LONG, main::@34/TYPEID_UNSIGNED_LONG, main::@4/TYPEID_INT, main::@5/TYPEID_LONG, main::@6/TYPEID_LONG, main::@7/TYPEID_LONG, main::@8/TYPEID_LONG, main::@9/TYPEID_CHAR )
  [71] assertType::t1#35 = phi( main/TYPEID_SIGNED_CHAR, main::@1/TYPEID_INT, main::@10/TYPEID_CHAR, main::@11/TYPEID_UNSIGNED_INT, main::@12/TYPEID_UNSIGNED_INT, main::@13/TYPEID_UNSIGNED_LONG, main::@14/TYPEID_UNSIGNED_INT, main::@15/TYPEID_UNSIGNED_INT, main::@16/TYPEID_UNSIGNED_LONG, main::@17/TYPEID_UNSIGNED_LONG, main::@18/TYPEID_UNSIGNED_LONG, main::@19/TYPEID_UNSIGNED_LONG, main::@2/TYPEID_LONG, main::@20/TYPEID_UNSIGNED_LONG, main::@21/TYPEID_CHAR, main::@22/TYPEID_CHAR, main::@23/TYPEID_CHAR, main::@24/TYPEID_UNSIGNED_INT, main::@25/TYPEID_UNSIGNED_INT, main::@26/TYPEID_UNSIGNED_LONG, main::@27/TYPEID_UNSIGNED_INT, main::@28/TYPEID_UNSIGNED_INT, main::@29/TYPEID_UNSIGNED_INT, main::@3/TYPEID_INT, main::@30/TYPEID_UNSIGNED_LONG, main::@31/TYPEID_UNSIGNED_LONG, main::@32/TYPEID_UNSIGNED_LONG, main::@33/TYPEID_UNSIGNED_LONG, main::@34/TYPEID_LONG, main::@4/TYPEID_INT, main::@5/TYPEID_LONG, main::@6/TYPEID_LONG, main::@7/TYPEID_LONG, main::@8/TYPEID_LONG, main::@9/TYPEID_CHAR )
  [72] if(assertType::t1#35==assertType::t2#35) goto assertType::@1
  to:assertType::@3
assertType::@3: scope:[assertType]  from assertType
  [73] COLS[idx#80] = RED
  to:assertType::@2
assertType::@2: scope:[assertType]  from assertType::@1 assertType::@3
  [74] SCREEN[idx#80] = assertType::t1#35
  [75] idx#39 = ++ idx#80
  to:assertType::@return
assertType::@return: scope:[assertType]  from assertType::@2
  [76] return 
  to:@return
assertType::@1: scope:[assertType]  from assertType
  [77] COLS[idx#80] = GREEN
  to:assertType::@2
