ReduceCrashingGlobalVariables - This works by removing the global variable's initializer and seeing if the program still crashes. If it does, then we keep that program and try again.
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected