+ addDebugItem "enable multiple disambiguation passes (default)"
+ (fun _ -> GrafiteDisambiguator.only_one_pass := false);
+ addDebugItem "enable only one disambiguation pass"
+ (fun _ -> GrafiteDisambiguator.only_one_pass := true);
+ addDebugSeparator ();