Decompose an assertAlreadyFinished helper function.