Run simplifier before SpecConstr