results.add(new CFAEdge(assume.getLabel(), assume.getNextLabel(), assume, Kind.MAY));
}
// Add all edges from under-approximation
for (Tuple<RTLNumber> pair : dcs.projection(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;