--attrs and methods included from the heirarchy

class F inherits G{
      a (a:Int, b:Bool):Int {
	1
      };
};

class E inherits F {
	b : Bool;
	a (x : Int, y : Bool) : Int {  --attr and method of same name
           {
		a <- x;
		b <- y;
		c <- 1;
           }
	};
	a : Int;
};

class G {
      c:Int;
};

class Main{
	main():Int{
	1
	};
};