Do more wild-carding in SpecConstr; I'm not quite sure about this, but it does no...