let is_shostak = function
  | Shostak _ -> true
  | _ -> false