Add Arguments bool_decide : simpl never
Passed
Michael Sammler
created pipeline for commit
53885542
, finished
Related merge request !331 to merge msammler/bool_decide_simpl_never
5 minutes 3 seconds, queued for 7 seconds