PROVE in MLN Handel | Konvertieren von Succinct in Enzyme auf SimpleSwap