Class AstContextInsensitiveSSAContextInterpreter