let cbug assert_cond msg =
  if not assert_cond then raise (SlicingTypes.Slicing_Internal_Error msg)