isl backend: support existentially quantified variables in domains