MuranoObject casting + super() + object initializer invocation