Fix newly introduced problem for argument rules that caused problems for relaxed clock models.