Fixes for new simplifications
Canceled
Martin Bauer
created pipeline for commit
a416915f
, finished
For test_martin
54 minutes 0 seconds, queued for 1 seconds