benchmark related to set and reset
moved z3 simplification code to Simplifier module