Tests

• Current tests.
• Well-formedness
  • MathML
  • KIF
• Normalization
  • CNF
  • DNF
  • PNF
  • Skolemization
• Sentential completeness