bug_1455_neq.cir
