--not and ~ oprtrs

Class A{
x:Int; y:Bool; z:String;
q:A; r:A;
gh:Undef;
w:Int;
	a():Int{
	{
	not(4<2);
	~(4<=2);	
	not(4=008);
	~(067=0);
 	not(x<y);
	~(x<z);
	not(y<=x);
	~ (z=x);

	--other than basic types
	not(q=x);
	not (x<q);
	not (q=r);
	not (q<r);
	not (q<=r);
	~(q=x);
	~(x<q);
	~(q=r);
	~(q<r);
	~(q<=r);

	--unknown names and types
	not (sd<r);
	~ (sd<r);

	not (4<=sd);

	not (gh<67);
	not (gh=gh);
	
	--return types
	not (x<-x<z);
	not (y<-x=y);


	--not with non-bool types
	not (q);
	
	--neg with nonint types
	~(q);

        not case z of a:Bool => a; esac;

        ~case z of a:Int => a; esac;
     
	--with function call
 	not b();
	not c();
	not d();

	~b();
	~c();	
	~d();

	--together not ans ~
	~not true;
	not ~1;
	}
	};

	b():Int{
	1
	};

	c():Bool{
	true
	};

	d():A{
	self
	};
};



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