-Correção no assert das listas;
-Troca do operador de listas de dijunction para subtract.