ForceSpecConstr now forces specialisation even for arguments which aren't scrutinised

No match.