--Mix
class C inherits D {
	a : Int;
	b : Bool;
	init (x : Int, y : Bool) : Object {
          a <- 5
        };
};

Class Main {
	main():Object {
	  (new C)@C.init(1,true)
	};
};

Class D {
	man():Object {
	  (new C).init(1,true)
	};
};

Class E {
	man():Object {
	  new C
	};
};