newVarIndex :: Int -> SORT -> CASLTERM
newVarIndex i sort = Qual_var var sort nullRange
    where var = mkSimpleId $ 'V' : show i

-- | generates a new variable
newVarIndex :: Int -> SORT -> CASLTERM
newVarIndex i sort = Qual_var var sort nullRange
    where var = mkSimpleId $ 'V' : show i

-- | generates a new variable
newVarIndex i sort = Qual_var var sort nullRange
    where var = mkSimpleId $ 'V' : show i

-- | generates a new variable