Penukaran DFA ke BFT | Konversi DeFine ke BnkToTheFuture di SimpleSwap