let mkcnstlblmap d =
    RLMap.fold (fun rl k m ->
      List.fold_right (fun i mm -> RLMMap.add (rl,i) i mm
      ) (intfromto 1 k) m
    ) d RLMMap.empty