class ReplacerOfQuanVariablesWithMetavariables (Code)
This class is used to create metavariables for every universal variables in
quantified formula allTerm and create constant functions for
all existential variables. The variables with new created metavariables or
constant functions are store to a map mapQM.