-- | generates a list of differents variables of the given sorts
createVars :: Int -> [SORT] -> [CASLTERM]
createVars _ [] = []
createVars :: Int -> [SORT] -> [CASLTERM]
createVars _ [] = []
createVars _ [] = []