bug fix at VisitCatchNode