Update not_equal.scs