fixed NotNode and UnaryNode