fallback: if Def(..) has no origin-location, then use Def(..) as object identifier instead of origin-location