let d_split a b = 
  if ((fst b) mod (snd a)) = 0 then 
    (fst a, snd b) 
  else raise (Beam_Matching_Error "split")