Simplifying using an assume can only be done in a particular control-flow context (the context instruction provides that context). If an assume and the context instruction are not in the same block then the DT helps in figuring out if we can use it.
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected