de.cau.cs.kieler.kies.scoping
Classes 
EsterelScopeProvider
EsterelScopeProviderUtil
ScopeFunction