public void visitCatchExpr(final CatchExpr expr) {
		// Catch(t)
		// t <= [Catch(t)]

		Type catchType = expr.catchType();

		if (catchType == Type.NULL) {
			catchType = Type.THROWABLE;
		}

		start(expr, catchType);
	}