openzeppelin-contracts/certora/harnesses/Ownable2StepHarness.sol

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

import "../patched/access/Ownable2Step.sol";

contract Ownable2StepHarness is Ownable2Step {
  function restricted() external onlyOwner {}
}