Mode: VM Run
Title: Introduce constructor with class inheritance

This test ensures that when a constructor is introduced in a type (class)
then that constructor is introduced with the same formal parameter
structure and body in all classes and subclasses implementing the
type.

Deprecated -eh