TryStmt now check its invariant