Check that RandomSymbol's pspace is single pspace