-- | add universal quantification of all variables in the formula
quantifyUniversally :: CASLFORMULA -> CASLFORMULA
quantifyUniversally form = if null var_decl
                           then form
                           else Quantification Universal var_decl form nullRange
      where vars = getVars form
            var_decl = listVarDecl vars

{- | traverses a map with sorts as keys and sets of variables as value
and creates a list of variable declarations -}
quantifyUniversally :: CASLFORMULA -> CASLFORMULA
quantifyUniversally form = if null var_decl
                           then form
                           else Quantification Universal var_decl form nullRange
      where vars = getVars form
            var_decl = listVarDecl vars

{- | traverses a map with sorts as keys and sets of variables as value
and creates a list of variable declarations -}
quantifyUniversally form = if null var_decl
                           then form
                           else Quantification Universal var_decl form nullRange
      where vars = getVars form
            var_decl = listVarDecl vars

{- | traverses a map with sorts as keys and sets of variables as value
and creates a list of variable declarations -}