PrettyPrinter funcionando.

O CK estava usando o nome de uma feature como expressão, quando deveria
usar o id.
Além disso, o printer foi alterado para remover os estados inatingíveis
da cadeia antes de exportar.