bug fix: IDs of variables are now unique, whoops!