<a 1>;
<a 2>;
<b 1>;
<var  ((<a 10>)(<b 20>))>;

<test1 unify>
	<module #x> 
	<unify #x <a #y> >
	<eq #y 1> !
	<writenl test1 unify OK>;
<test1 unify>
	<writenl test1 unify NG>;

<test2 unify>
	<unify var (<a #x><b #y>)>
	<eq #x 10>
	<eq #y 20> !
	<writenl test2 unify OK>;
<test2 unify>
	<writenl test2 unify NG>;


?<test1 unify>
 <test2 unify>;

