returns 0 on success, 1 otherwise
source not stored for this graph (policy: none)
no test coverage detected