public Type type_check(Table<Type> t_env,Table<Dec> v_env,boolean in_loop,ErrorList e){
		Dec d = v_env.get(sym);
		if(d==null){
			e.add_error("Var "+sym+" not declared", line, column, "typing");
			the_type = Type.THE_ERROR_STATE;
			return the_type;
		}
		else if(!(d instanceof Dec_var)){
			e.add_error("Var "+sym+" should be variable", line, column, "typing");
			the_type = Type.THE_ERROR_STATE;
			return the_type;
		}
		else{
			the_dec = (Dec_var)d;
			Type tmp = ((Dec_var)d).the_type;
			the_type = tmp;
			return the_type;
		}
	}