Câmbio de PROVE para MLN| Converter Succinct para Enzyme no SimpleSwap