* code_map/draw_microlevel.ml: more precise