larger_than_ker_h :: Set.Set SORT -> PredMap -> CASLFORMULA
larger_than_ker_h ss mis = conj
     where ltkhs = ltkh_sorts ss
           ltkhp = ltkh_preds mis
           conj = conjunct (ltkhs ++ ltkhp)

{- | computes the second part of the conjunction of the formula "largerThanKerH"
from the kernel of H -}
larger_than_ker_h :: Set.Set SORT -> PredMap -> CASLFORMULA
larger_than_ker_h ss mis = conj
     where ltkhs = ltkh_sorts ss
           ltkhp = ltkh_preds mis
           conj = conjunct (ltkhs ++ ltkhp)

{- | computes the second part of the conjunction of the formula "largerThanKerH"
from the kernel of H -}
larger_than_ker_h ss mis = conj
     where ltkhs = ltkh_sorts ss
           ltkhp = ltkh_preds mis
           conj = conjunct (ltkhs ++ ltkhp)

{- | computes the second part of the conjunction of the formula "largerThanKerH"
from the kernel of H -}