changed verification to include invocations before when