Characteristic predicate LocalScopeVariableReachability::LocalScopeVariableReachability

LocalScopeVariableReachability()