add verify at least one invocation