= if -- All stmts use the same lcv test_lcv == init_lcv && test_lcv == update_lcv && test_lcv == update_lcv' -- And the lcv is not updated in the body
all (== test_lcv) [init_lcv, update_lcv, update_lcv']