def get_default_resolver():
 global default_resolver
 if (default_resolver is None):
  default_resolver = Resolver()
 return default_resolver

def get_default_resolver ( ) : global default_resolver if ( default_resolver is None ) : default_resolver = Resolver ( ) return default_resolver
get the default resolver .