\brief Check if the condition from the given block holds for \b this block We assume the given block has 2 out-edges and that \b this block is immediately reached by one of these two edges. Some condition holds when traversing the out-edge to \b this, and the complement of the condition holds for traversing the other out-edge. We verify that the condition holds for this entire block. More specif
source not stored for this graph (policy: none)
no test coverage detected