Fixed not-equal op, and Logi-ops in IFs, plus tests