writeProgramToFile - This writes the current "Program" to the named bitcode file. If an error occurs, true is returned.
source not stored for this graph (policy: none)
no test coverage detected