I'm postponing this for now, I realized that I might need an invocation count criterion as well for the ISPN-4137 test...