ExpectedUpdateCounter

Only use the previous target TM if the current counter is equal to this expected counter.