-- Test Start at Thu Sep 23 22:27:45 PDT 2004
0 -> 0
2 + coin -> 3
2 + coin -> 2
2 + 3 -> 5
X=:=7 & X + 2=:=Y where X,Y free -> Success  { Y=9; X=7; }
X + 20 where X free *** Goal flounders! ***
20 + X where X free *** Goal flounders! ***
X + 2=:=4 & X=:=2 where X free -> Success  { X=2; }
X + 2=:=Y & X=:=7 where X,Y free -> Success  { Y=9; X=7; }
X + 2=:=Y & Y + 2=:=Z & X=:=7 & Y=:=9 where X,Y,Z free -> Success  { Z=11; Y=9; X=7; }
X + 2=:=4 & Y=:= X + 7 where X,Y free *** Goal flounders! ***
X + 2=:=Y & Y + 2=:=Z & Z=:=7 where X,Y,Z free *** Goal flounders! ***
X + coin=:=Y & X=:=2 where X,Y free -> Success  { Y=2; X=2; }
X + coin=:=Y & X=:=2 where X,Y free -> Success  { Y=3; X=2; }
X + 4=:=Y & X=:=coin where X,Y free -> Success  { Y=4; X=0; }
X + 4=:=Y & X=:=coin where X,Y free -> Success  { Y=5; X=1; }
X + 0=:=coin & X=:=0 where X free -> Success  { X=0; }
X + 0=:=coin & X=:=coin where X free -> Success  { X=0; }
X + 0=:=coin & X=:=coin where X free -> Success  { X=1; }
-- Test End at Thu Sep 23 22:27:50 PDT 2004