*  rec1.ref

**$STRATEGY Applicative;

RecNumber {
   e.1 = <RecEnd <Rec ( ) e.1>>;
 }

Rec {
  (e.1)  =  e.1;
  (e.1) (e.2) e.3 = <Rec1 (e.2)  <Rec (e.1 (e.2)) e.3>  >;
 }

RecEnd {
 ( ) e.2 = ( ) <RecEnd e.2>;
  = ;
 }

Rec1 {
  ( ) ('1' e.2) e.3 = (e.2) e.3;
  ('1' e.1) (e.2) e.3 = (e.2) <Rec1 (e.1) e.3>;
 }