CNFConverter: fixed issues with blank lines in the input