- #alt3#var vpubB: nullable B writable
- #alt4#protected var vproB: nullable B protected writable
- private var vpriB: nullable B
+ #alt1#fun pubB2: B do abort
+ #alt2#protected fun proB2: B do abort
+ private fun priB2: B do abort
+
+ #alt3#var vpubB: nullable B is writable, noinit
+ #alt4#protected var vproB: nullable B is protected writable, noinit
+ private var vpriB: nullable B is noinit