ReduceCrashingInstructions reducer - This works by removing the specified non-terminator instructions and replacing them with undef.
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected