changed all CVc4::Node to CVC4::TNode