Penukaran BFT ke DFA | Konversi BnkToTheFuture ke DeFine di SimpleSwap