let bug msg = raise (SlicingTypes.Slicing_Internal_Error msg)