Intercambio de PROVE a MLN| Convierte Succinct a Enzyme en SimpleSwap