internal NNFVisitorN(NNFVisitor positiveVisitor) { p = positiveVisitor; n = this; }
public NNFVisitor() { n = new NNFVisitorN(this); p = this; }