The following Add* routines are used to add a few graph nodes while functions are transformed.
source not stored for this graph (policy: none)
no test coverage detected