Fixes for iris!886

Closed Michael Sammler requested to merge msammler/new_contractive into master

This MR adapts Actris for iris!886 (merged) by using the compatibility lemmas.

Merge request reports