keel.Algorithms.RE_SL_Postprocess.MamGlobalTunDB