normalize more

2 jobs for time/bool_decide_autorewrite in 21 minutes and 49 seconds (queued for 3 seconds)