added node to symbolic set constructor args to support better error messages