bug fixed visitNot

bug fixed visitNot