Identify combinations of STORE and ITE which are actually CSTORES.
(c: &mut Computation)
source not stored for this graph (policy: none)