FIXED: Issues#22: Crash due to wrong compilation of == and \== in the presdense of
fresh variables (gives a waning).