add isl_local_space_{take,restore}_space