Add new ForceSpecConstr annotation