edited prenexing methods. Changed type of node to TNode