add isl_local_space_lifting