CERTORA I-02 Remove unnecessary inheritance from Base contract

src/EVault/Dispatch.sol

@@ -21,7 +21,6 @@ import "./shared/Constants.sol";
 /// @author Euler Labs (https://www.eulerlabs.com/)
 /// @notice Contract which ties in the EVault modules and provides utilities for routing calls to modules and the EVC
 abstract contract Dispatch is
-    Base,
     InitializeModule,
     TokenModule,
     VaultModule,

src/EVault/modules/Borrowing.sol

@@ -17,7 +17,7 @@ import "../shared/types/Types.sol";
 /// @custom:security-contact [email protected]
 /// @author Euler Labs (https://www.eulerlabs.com/)
 /// @notice An EVault module handling borrowing and repaying of vault assets
-abstract contract BorrowingModule is IBorrowing, Base, AssetTransfers, BalanceUtils, LiquidityUtils {
+abstract contract BorrowingModule is IBorrowing, AssetTransfers, BalanceUtils, LiquidityUtils {
     using TypesLib for uint256;
     using SafeERC20Lib for IERC20;
 

src/EVault/modules/Governance.sol

@@ -17,7 +17,7 @@ import "../shared/types/Types.sol";
 /// @custom:security-contact [email protected]
 /// @author Euler Labs (https://www.eulerlabs.com/)
 /// @notice An EVault module handling governance, including configuration and fees
-abstract contract GovernanceModule is IGovernance, Base, BalanceUtils, BorrowUtils, LTVUtils {
+abstract contract GovernanceModule is IGovernance, BalanceUtils, BorrowUtils, LTVUtils {
     using TypesLib for uint16;
 
     // Protocol guarantees for the governor

src/EVault/modules/Initialize.sol

@@ -17,7 +17,7 @@ import "../shared/types/Types.sol";
 /// @custom:security-contact [email protected]
 /// @author Euler Labs (https://www.eulerlabs.com/)
 /// @notice An EVault module implementing the initialization of the new vault contract
-abstract contract InitializeModule is IInitialize, Base, BorrowUtils {
+abstract contract InitializeModule is IInitialize, BorrowUtils {
     using TypesLib for uint16;
 
     // Initial value of the interest accumulator: 1 ray

src/EVault/modules/Liquidation.sol

@@ -13,7 +13,7 @@ import "../shared/types/Types.sol";
 /// @custom:security-contact [email protected]
 /// @author Euler Labs (https://www.eulerlabs.com/)
 /// @notice An EVault module handling liquidations of unhealthy accounts
-abstract contract LiquidationModule is ILiquidation, Base, BalanceUtils, LiquidityUtils {
+abstract contract LiquidationModule is ILiquidation, BalanceUtils, LiquidityUtils {
     using TypesLib for uint256;
 
     struct LiquidationCache {

src/EVault/modules/RiskManager.sol

@@ -12,7 +12,7 @@ import "../shared/types/Types.sol";
 /// @custom:security-contact [email protected]
 /// @author Euler Labs (https://www.eulerlabs.com/)
 /// @notice An EVault module handling risk management, including vault and account health checks
-abstract contract RiskManagerModule is IRiskManager, Base, LiquidityUtils {
+abstract contract RiskManagerModule is IRiskManager, LiquidityUtils {
     /// @inheritdoc IRiskManager
     function accountLiquidity(address account, bool liquidation)
         public

src/EVault/modules/Token.sol

@@ -13,7 +13,7 @@ import "../shared/types/Types.sol";
 /// @custom:security-contact [email protected]
 /// @author Euler Labs (https://www.eulerlabs.com/)
 /// @notice An EVault module handling ERC20 behaviour of vault shares
-abstract contract TokenModule is IToken, Base, BalanceUtils {
+abstract contract TokenModule is IToken, BalanceUtils {
     using TypesLib for uint256;
 
     /// @inheritdoc IERC20

src/EVault/modules/Vault.sol

@@ -15,7 +15,7 @@ import "../shared/types/Types.sol";
 /// @custom:security-contact [email protected]
 /// @author Euler Labs (https://www.eulerlabs.com/)
 /// @notice An EVault module handling ERC4626 standard behaviour
-abstract contract VaultModule is IVault, Base, AssetTransfers, BalanceUtils {
+abstract contract VaultModule is IVault, AssetTransfers, BalanceUtils {
     using TypesLib for uint256;
     using SafeERC20Lib for IERC20;