Constraint ** getRMWRValVars(ConstGen *cg, EPRecord * op);
IntHashSet * getValues() {return &values;}
bool removeAddress(const void *addr) {addresses.remove((uint64_t)addr);return addresses.isEmpty();}
Constraint ** getRMWRValVars(ConstGen *cg, EPRecord * op);
IntHashSet * getValues() {return &values;}
bool removeAddress(const void *addr) {addresses.remove((uint64_t)addr);return addresses.isEmpty();}