isl_scheduler.c: add_inter_validity_constraints: avoid NULL pointer dereference