an operation is what DroidBot do to target device It might be a set of events, or an event policy
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected