Users may have one or more introspectors instances, depending on their purposes.
Moreover, one default global introspector is also defined.