** Prints an error message, adding the program name in front of it ** (if present) */
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected