try new version of unification

Merged Michael Sammler requested to merge ci/new_unification into master

Merge request reports