Closed mostafa-abdullah closed 7 years ago
When we have a call where the called is an attribute access, disjunctions for possible static methods are added.
Fixes #12
When we have a call where the called is an attribute access, disjunctions for possible static methods are added.
Fixes #12