public Type type_check(Table<Type> t_env,Table<Dec> v_env,boolean in_loop,ErrorList e){
		Type t = var.type_check(t_env, v_env, false, e);
		Type t_int = expr.type_check(t_env, v_env, false, e);
		if(!(t_int.actual() instanceof INT))
			e.add_error("Type of for var_array index not integer", expr.line, expr.column, "typing");
		
		if(!(t.actual() instanceof ARRAY)){
			e.add_error("Type of the variable not array", line, column, "typing");
			the_type = Type.THE_ERROR_STATE;
			return the_type;
		}
		else{
			the_type = ((ARRAY)(t.actual())).element;
			return the_type;
		}	
	}