--formals
class C {
	a : Int;
	b : Bool;
	c (x : Int, x : Bool) : C {   --formals redefined
           {
		t <- x;
		b <- y;
		r <- y;
		self;
           }
	};

 	d (a: Int, b: Int) : Int {  --allowed to overwrite previous names
	  b<-1
	};	

 	t (a: Int, b: Int, a:Bool) : Int {  --formals redefined
	  b<-1
	};	
};

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