I would suggest to use isl_util_read_line() here, otherwise no space is allowed in the list of vars.