homomorphy_form :: CASLFORMULA -> CASLFORMULA
homomorphy_form (Quantification q _ f r) = Quantification q var_decl f' r
     where f' = homomorphy_form f
           vars = getVars f'
           var_decl = listVarDecl vars
homomorphy_form :: CASLFORMULA -> CASLFORMULA
homomorphy_form (Quantification q _ f r) = Quantification q var_decl f' r
     where f' = homomorphy_form f
           vars = getVars f'
           var_decl = listVarDecl vars
homomorphy_form (Quantification q _ f r) = Quantification q var_decl f' r
     where f' = homomorphy_form f
           vars = getVars f'
           var_decl = listVarDecl vars