Better encapsulation for IsContextInsensitiveAnalysis and support
for nested context-insensitive analyses
Better handle context-insensitiveness