Changed Node to CVC4::Node in struct declaration