LOCAL
    types : SET OF STRING := TYPEOF (spc);
  END_LOCAL;
  IF  ((schema_prefix + 'FINITE_INTEGER_INTERVAL') IN  types) OR
    ((schema_prefix + 'INTEGER_INTERVAL_TO_MAX') IN  types) THEN
    RETURN  (TRUE);
  END_IF;
  IF  ((schema_prefix + 'FINITE_REAL_INTERVAL') IN  types) THEN
    RETURN  (bool(spc\finite_real_interval.max_closure = closed));
  END_IF;
  IF ((schema_prefix + 'REAL_INTERVAL_TO_MAX') IN types) THEN
    RETURN  (bool(spc\real_interval_to_max.max_closure = closed));
  END_IF;
  RETURN (FALSE);