Improve error messages
Prepare graph spawning mechanism
Fix tests to match abstract domain
Add flattening for library calls
Fix restricted GC