Resolved the automath issue, deleted unused CNFConverted options and
tokenisation evaluation.