Trotzdem darf dieser in OSM separat eingetragen werden, das ist kein Fehler, sofern er nicht nochmal an der Straße selbst angegeben wurde. cycleway=separate an der Straße kennzeichnet das sogar korrekterweise.