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);
		
		if(!(t.actual() instanceof RECORD)){
			e.add_error("Type of the variable not record", line, column, "typing");
			the_type = Type.THE_ERROR_STATE;
			return the_type;
		}
		else{
			RECORD tt = (RECORD)(t.actual());
			the_record = tt;
			Type ft = tt.fie.get(sym);
			if(ft == null){
				e.add_error("No such field "+sym+" in record", line, column, "typing");
				the_type = Type.THE_ERROR_STATE;
				return the_type;
			}
			else{
				the_type = ft;
				return the_type;
			}
		}
			
	}