let pretty fmt lmap =
    Format.fprintf fmt "Lmap = %a@\n" LM.pretty lmap