converted Node to CVC4::Node