Complete handling of non-conflicts with implicit names