public boolean tyCheckAll(CTX ctx, Gamma gamma) {
		boolean result = true;
		for(int i=0; i<blocks.size(); i++) {
			Stmt stmt = blocks.get(i);
			Syntax syn = stmt.syntax;
			if(ctx.debug) {
				stmt.dump(ctx);
			}
			if(syn == null) continue;
			if(syn.kw.equals(KW.Err)) {
				result = false;
				break;
			}
			if(!syn.stmtTyCheck(ctx, stmt, gamma)) {
				result = false;
				//break;//FIXME
			}
		}
		return result;
	}