Fixing bug where reported line number is wrong in CNF

Thanks to Martin Maurer for reporting this bug

Fixes #139