keepMaximals :: CS.Sign f e -> [SORT] -> [SORT]
keepMaximals csig = keepMinimals1 True csig id . Set.toList
  . getCommonSupers csig
keepMaximals :: CS.Sign f e -> [SORT] -> [SORT]
keepMaximals csig = keepMinimals1 True csig id . Set.toList
  . getCommonSupers csig
keepMaximals csig = keepMinimals1 True csig id . Set.toList
  . getCommonSupers csig