Parametrized locality to be disrupted when totalorder is enabled.