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

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

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