Removida restrição de igualdade entre os alfabetos dos autômatos
 para simultaneousRun(), de closureProperties.h, e as três funções
 que dependem dela;
Corrigidos bug em finite(), de automaton/decisionProcedures.h;
Corrigidos bug em removeDead(), de automaton/minimization.h;
Extendido teste test/decisionProcedures.test.cpp.