staking/certora/helpers/StakeRewardEstimateA.sol

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.19;

import { StakeRewardEstimate } from "./../../contracts/StakeManager.sol";

contract StakeRewardEstimateA is StakeRewardEstimate {}