Spot ForceSpecConstr arguments in polymorphic loops