Changed all the Node's to CVC4::Node