let bug msg = raise (PdgTypes.Pdg_Internal_Error msg)