changed args to CVC4::Node from CVC4::TNode