LOCAL
    types : SET OF STRING := stripped_typeof (spc);
  END_LOCAL;
  IF  'FINITE_SPACE' IN  types THEN
    RETURN  (bool(SIZEOF (spc\finite_space.members) = 1));
  END_IF;
  IF 'FINITE_INTEGER_INTERVAL' IN types THEN
    RETURN  (bool(spc\finite_integer_interval.size = 1));
  END_IF;
  RETURN (FALSE);