changes towards the new loopy spec. that all written variables should be assignees