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