keel.Algorithms.RE_SL_Methods.mogulSC