Simple Program to trasform a FBF (Well-Formed Formula) to CNF (Conjunctive Normal Form) written in Common Lisp