bug fixed visitNot