Bug-fix to patch "Run simplifier before SpecConstr"