Sets the Alignment.AlignmentAtom at the given (relative) position if
the atom is admissible with the elements behind it (the elements with
higher index).
This class represents a substitution, which is a mapping from variables to
hedges.
It is used inside the rule based system AntiUnifySystem to
compute generalizations for given AntiUnifyProblems.