Language.Clafer.Intermediate.ScopeAnalysis

getScopeStrategy