wip: suggested fix

Author: daejunpark

ERC4626.prop.sol

@@ -311,10 +311,12 @@ abstract contract ERC4626Prop is Test {
     // s' = deposit(a)
     // s' <= s
     function prop_RT_withdraw_deposit(address caller, uint assets) public {
+        uint256 assetsBefore = vault_convertToAssets(IERC4626(_vault_).balanceOf(caller)) + IERC20(_underlying_).balanceOf(caller);
         vm.prank(caller); uint shares1 = vault_withdraw(assets, caller, caller);
         if (!_vaultMayBeEmpty) vm.assume(IERC20(_vault_).totalSupply() > 0);
         vm.prank(caller); uint shares2 = vault_deposit(assets, caller);
-        assertApproxLeAbs(shares2, shares1, _delta_);
+        uint256 assetsAfter = vault_convertToAssets(IERC4626(_vault_).balanceOf(caller)) + IERC20(_underlying_).balanceOf(caller);
+        assertApproxLeAbs(assetsAfter, assetsBefore, _delta_);
     }
 
     //