changed null to prenexNode.isNull()