Echidna Optimization Trace bug

[GalloDaSballo]

optimize_previewMintSharesGreater: max value: 57896044086747482311949689429410735533097101961465214150251660095693330148682

  Call sequence:
    CryticTester.create_vault((0xc7183455a4c133ae270771860664b6b7ec320bb1, "\NUL", "", 0xdeadbeef, [], 0, 300, (0, 815, 0xdeadbeef)))
    CryticTester.updatePPS_clamped(890963820559636209514263275527051336713472993899974536026629331037177728) Time delay: 1 seconds Block delay: 1
    CryticTester.setPreviewSharesGreater(57896044618658097711785492504343953926418782139537452191302581570759080747170)

Traces: 

optimize_burnMoreThanRequestedInRedemption: max value: 0

Results in an empty repro