-- | extract the variables of a CASL term
getVarsTerm :: CASLTERM -> Map.Map Id (Set.Set Token)
getVarsTerm (Qual_var var sort _) =
    Map.insert sort (Set.singleton var) Map.empty
getVarsTerm :: CASLTERM -> Map.Map Id (Set.Set Token)
getVarsTerm (Qual_var var sort _) =
    Map.insert sort (Set.singleton var) Map.empty
getVarsTerm (Qual_var var sort _) =
    Map.insert sort (Set.singleton var) Map.empty