Covering initializer property generation