split_notOr improved, still a bug