Added PatternsToInstances map.