INFOHEADER=heap_rw_sets
CSTRFILE=~ghiya/flow/flip/flip.c.cstr.html
func2318: 0+b, anchor_b_1=x/x~2222,point~2216{y~2226,point~2216! 0+a, anchor_a_1=x/x~2222,point~2216{y~2226,point~2216
2327: 0+b, anchor_b_1=x/y~2226,point~2216! 0+a, anchor_a_1=x/x~2222,point~2216
2335: 0+b, anchor_b_1=x/x~2222,point~2216! 0+a, anchor_a_1=x/y~2226,point~2216
func2357: 0+b, anchor_b_1=x/y~2226,point~2216&& 0+a, anchor_b_2, anchor_a_1=x/x~2222,point~2216! 0+b, anchor_a_2, anchor_b_1=x/y~2226,point~2216&& 0+a, anchor_a_1=x/x~2222,point~2216
2372: 0+b, anchor_b_1=x/y~2226,point~2216! 0+a, anchor_a_1=x/x~2222,point~2216
2376:Empty!Empty
2380:Empty!Empty
2384:Empty!Empty
2392: 0+a, anchor_b_2, anchor_a_1=x/x~2222,point~2216! 0+b, anchor_a_2, anchor_b_1=x/y~2226,point~2216
func2402: anchor_b_3, anchor_a_3, anchor_b_2, anchor_a_2, anchor_cs_write_3, anchor_cs_read_3, anchor_cs_write_2, anchor_cs_read_2=x/x~2222,point~2216{y~2226,point~2216! anchor_b_2, anchor_a_2, anchor_cs_write_2, anchor_cs_read_2=x/x~2222,point~2216{y~2226,point~2216&& anchor_cs_write_3=x/x
2976:Empty!Empty
2978:Empty!Empty
2980:Empty!Empty
2985:Empty!Empty
2987:Empty!Empty
2992:Empty!Empty
2457:Empty!Empty
2462:Empty!Empty
3000:Empty!Empty
3006:Empty!Empty
3012:Empty!Empty
3018:Empty!Empty
3024:Empty!Empty
3026:Empty!Empty
2510:Empty!Empty
3036:Empty!Empty
3042:Empty!Empty
3048:Empty!Empty
3054:Empty!Empty
3060:Empty!Empty
3062:Empty!Empty
3070:Empty!Empty
3072:Empty!Empty
3080:Empty!Empty
3082:Empty!Empty
3084:! anchor_a_2=x/y~2226,point~2216
3090: anchor_a_2=x/y~2226,point~2216! anchor_a_2=x/x~2222,point~2216
3092:! anchor_b_2=x/y~2226,point~2216
3098: anchor_b_2=x/y~2226,point~2216! anchor_b_2=x/x~2222,point~2216
3106:Empty!Empty
3112: anchor_a_2=x/x~2222,point~2216!
3118: anchor_a_2=x/y~2226,point~2216!
3124: anchor_b_2=x/x~2222,point~2216!
3130: anchor_b_2=x/y~2226,point~2216!
3132:Empty!Empty
2635: anchor_b_2=x/x~2222,point~2216{y~2226,point~2216&& anchor_cs_read_2=x/x! anchor_a_2=x/x~2222,point~2216{y~2226,point~2216&& anchor_cs_write_2=x/x
3142:Empty!Empty
3148: anchor_a_2, anchor_cs_write_2=x/x~2222,point~2216!
3154: anchor_a_2, anchor_cs_write_2=x/y~2226,point~2216!
3160: anchor_b_2, anchor_cs_read_2=x/x~2222,point~2216!
3166: anchor_b_2, anchor_cs_read_2=x/y~2226,point~2216!
3168:Empty!Empty
3170:! anchor_a_2, anchor_cs_write_2=x/y~2226,point~2216
3176: anchor_a_2, anchor_cs_write_2=x/y~2226,point~2216! anchor_a_2, anchor_cs_write_2=x/x~2222,point~2216
3178:! anchor_b_2, anchor_cs_read_2=x/y~2226,point~2216
3184: anchor_b_2, anchor_cs_read_2=x/y~2226,point~2216! anchor_b_2, anchor_cs_read_2=x/x~2222,point~2216
3192:Empty!Empty
3198: anchor_a_2, anchor_cs_write_2=x/x~2222,point~2216!
3204: anchor_a_2, anchor_cs_write_2=x/y~2226,point~2216!
3210: anchor_b_2, anchor_cs_read_2=x/x~2222,point~2216!
3216: anchor_b_2, anchor_cs_read_2=x/y~2226,point~2216!
3218:Empty!Empty
2732: anchor_b_2, anchor_cs_read_2=x/y~2226,point~2216&& anchor_a_2, anchor_cs_write_2=x/x~2222,point~2216&& anchor_cs_read_3=x/x! anchor_b_2, anchor_cs_read_2=x/y~2226,point~2216&& anchor_a_2, anchor_cs_write_2=x/x~2222,point~2216&& anchor_cs_write_3=x/x
3228:Empty!Empty
3234: anchor_a_3, anchor_a_2, anchor_cs_write_3, anchor_cs_read_3, anchor_cs_write_2=x/x~2222,point~2216!
3240: anchor_a_3, anchor_a_2, anchor_cs_write_3, anchor_cs_read_3, anchor_cs_write_2=x/y~2226,point~2216!
3246: anchor_b_3, anchor_b_2, anchor_cs_write_3, anchor_cs_read_3, anchor_cs_read_2=x/x~2222,point~2216!
3252: anchor_b_3, anchor_b_2, anchor_cs_write_3, anchor_cs_read_3, anchor_cs_read_2=x/y~2226,point~2216!
3254:Empty!Empty