Arme de nuevo el VeriFinder