add analysis for ImmutableSet