public IEnumerable<ILocalDefinition> GetVariablesInScope(ILocalScope scope) {
ILocalScopeProvider/*?*/ provider = this.GetProvider(scope.MethodDefinition);
if (provider == null) {
return Enumerable<ILocalDefinition>.Empty;
} else {
return provider.GetVariablesInScope(scope);
}
}