}
DualCompositeState dcs = (DualCompositeState)a;
// Add all edges from over-approximation
for (Tuple<RTLNumber> pair : dcs.projectionFromConcretization(stmt.getCondition(), stmt.getTargetExpression())) {
RTLNumber conditionValue = pair.get(0);
RTLNumber targetValue = pair.get(1);
Location nextLabel;
// Start building the assume expression: assume correct condition case
assert conditionValue != null;