<a 1>;
<a 2>;
<b 1>;
::<var  <a 10>;
        <b 20>;
>;

<test23 unify>
	<module #x> <!>
	<unify #x <a #y> >
	::sys<eq #y 1> 
	::sys<writenl test23 unify OK>;
<test23 unify>
	::sys<writenl test23 unify NG>
	<!>;

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


?<test23 unify>
 <test24 unify>;

