let find_ele_pred name e =
    match e with
      Element (e,_,_) when name = String.lowercase e -> true
    | _ -> false