Fix cloning bugs in SpecConstr