MCIT 596 CNF Parser