- #alt13#var bar: Int writable = 20
- #alt14#redef var bar: Int writable = 20
- #alt15#var bar: Int redef writable = 20
- #alt16#redef var bar: Int redef writable = 20
-
+ #alt13#var bar: Int = 20 is writable
+ #alt14#redef var bar: Int = 20 is writable
+ #alt15#var bar: Int = 20 is redef writable
+ #alt16#redef var bar: Int = 20 is redef writable
+ #alt17#redef var bar