let rec is_struct_value s1 s2 env = 
  match env with 
      (TyStructDef (s,lst,_))::rest when (s = s1) -> List.mem s2 (get_first lst)
    | _::rest -> is_struct_value s1 s2 rest
    | [] -> raise Not_found