Fuzzing for ParaSpace: ERC721 NFT Liquidation Enhancement

[ghost]

I am trying to fuzz ParaSpace, a vulnerable NFT project (https://github.com/SunWeb3Sec/DeFiHackLabs/blob/main/src/test/paraspace_exp.sol). It seems ItyFuzz has trouble to borrow & liquidate NFTs.

ItyFuzz managed to find that vulnerability only after I manually deployed helper contracts for borrowing Apes to the fork. It would be nice if this can be automated like for ERC20.