It doesn't seem this variable is used in the assertions.