deleted encoding Group -> Monoid. New solution with variables will be done now