Recover a wrong removal: the `if` statement skips the leading vector of the hashed environment