More precise spec assertion for the OneTimeListener::getWrappedListener