keel.Algorithms.RE_SL_Postprocess.MamLocalTunRules