bugfix
Bugfix. Added alternative implementation for !=, additional debug output for cnf