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