* @return Index of the last states main-function * TODO: Does this needs to be public? */
source not stored for this graph (policy: none)
nothing calls this directly
no outgoing calls
no test coverage detected