(^) Set_constr => normal set
(^) fin: don't track global accesses
(^) fin: restart tracking for each class