converted Nodemanger to CVC4::Nodemanager