newVar :: SORT -> CASLTERM
newVar sort = Qual_var var sort nullRange
    where var = mkSimpleId "V"

-- | generates the free representation of an OP_SYMB
newVar :: SORT -> CASLTERM
newVar sort = Qual_var var sort nullRange
    where var = mkSimpleId "V"

-- | generates the free representation of an OP_SYMB
newVar sort = Qual_var var sort nullRange
    where var = mkSimpleId "V"

-- | generates the free representation of an OP_SYMB