Revert "never simpl bool_decide"

This reverts commit bcf29bb3.
1 job for master in 13 minutes and 55 seconds (queued for 5 seconds)