Cond is a condition that occurs in L. If it is invariant in the loop, or has an invariant piece, return the invariant. Otherwise, return null.
source not stored for this graph (policy: none)
no test coverage detected