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 ) ;