Fixed bug

* Fixed bug leading to improper reporting of "erroneous_dif_logic" in
the else-part