function enableLostAndFound(address agent, uint tokens, EIP20Token token_contract) public {
    
    require(address(token_contract) != address(token) || getState() == State.Finalized);
    super.enableLostAndFound(agent, tokens, token_contract);
  }