DrNLA: Ampliación de la Verificación a Programas No lineales mediante Reescritura Dual