scan.cc: scop_add_while: take isl_id instead of isl_map