--cycle in heirarchy
Class F {
	main(a:C):Int {
         a<-1
	};
	main():Int {
         let a:C, b:Bool  in
            {
            a<-1; b<-1;
            }
	};
};

Class G {
	main():Int {
         let a:Bool, b:Bool <- 1  in
            a<-1
	};
	main():Int {
         a<-1
	};
};