The graph is no longer manipulated during resolution (because we don't need that information anyway). Instead, the graph is only constructed once after resolution is finished. The mapping is also cleaned up after the graph is connected to remove superfluous entries.
The graph is no longer manipulated during resolution (because we don't need that information anyway). Instead, the graph is only constructed once after resolution is finished. The mapping is also cleaned up after the graph is connected to remove superfluous entries.
Fix #4.