This is designed to resolve implicit dependencies such as initialization of global variables Right now the solution is to solve all the STR-like instructions and record them in a mapping
source not stored for this graph (policy: none)
nothing calls this directly
no outgoing calls
no test coverage detected