- | Get all variables inside a term
getTermVariables :: LNTerm -> S.Set LVar
getTermVariables ts =
  S.fromList $ L.map fst $ varOccurences ts

getTermVariables :: LNTerm -> S.Set LVar
getTermVariables ts =
  S.fromList $ L.map fst $ varOccurences ts
getTermVariables ts =
  S.fromList $ L.map fst $ varOccurences ts