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