PPAGE_STORES_POLLUTE
flags = PPAGE_STORE_VCOLORING | PPAGE_STORES_POLLUTE;
strict_flag = PPAGE_STORES_POLLUTE;
int pp_consistent_coloring = PPAGE_STORES_POLLUTE | PPAGE_LOADS_POLLUTE;
int pp_consistent_coloring = PPAGE_STORES_POLLUTE | PPAGE_LOADS_POLLUTE;