[Bug]: MultiHop fixed output swap cause delta calculation problems #1
Description
Describe the bug
// here i will describe and prove formally that the currency delta is incorrectly calculated in _swapExactOutput() due to mis modeling between reverse loop counting and zeroforone to oneforzero boolean implementation
// the example under examination will prove in the path of USDC---> (currencyOUT) {ETH,DAI}---> path
// the user is able to swap 6 usdc for 6 ETHs
// here i will also provide formally verified run that proves my claim
Expected Behavior
No response
To Reproduce
No response
Additional context
No response