Ban use of case catch ... of

Close #611