FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation