This class represents an anti-unification problem (AUP) which consists of one
generalization variable (the most general generalization), and two
Hedges.
This class represents a rule based system for rigid anti-unification of
unranked terms and hedges.
The algorithm G(R) is described in the paper: Temur Kutsia, Jordi Levy, Mateu Villaret.