let mk_assigns_info id a = AssignsLocations (id, a)