  assert(solver_propagate__4____cil_tmp99___0 == 9);
