Make more functions simpl never

Merged Michael Sammler requested to merge ci/Z_simpl_never into master

Merge request reports