sepBindsByDropPoint _ _is_case drop_pts []
  = [] : [[] | _ <- drop_pts]
sepBindsByDropPoint _ _is_case drop_pts []
  = [] : [[] | _ <- drop_pts]
sepBindsByDropPoint _ _is_case drop_pts []
  = [] : [[] | _ <- drop_pts]