symbol_set: add an assertion in the positions_map constructor.