*$MST_FROM_ENTRY;

*$MATCHING ForRepeatedSpecialization ;

*$STRATEGY Applicative ;
/*
$ENTRY Go {
 = <Prout <Go e.1 >> ;
}
*/

***
/*
*  InputFormat: <Go e.41 >
*  OutputFormat: ==> e.0 
*/


$ENTRY Go {
 (('xs -> empty')) =  True;
 (('xs -> empty') e.101) =  False;
 (('xs -> A xs') ('xs -> empty') e.101) =  False;
 (('xs -> A xs') ('xs -> B xs') ('xs -> empty')) =  True;
 (('xs -> A xs') ('xs -> B xs') ('xs -> empty') e.101) =  False;
 (('xs -> A xs') ('xs -> B xs') ('xs -> A xs') ('xs -> empty') e.101) =  False;
 (('xs -> A xs') ('xs -> B xs') ('xs -> A xs') ('xs -> B xs') e.101) =  <F695 e.101>;
 (('xs -> A xs') ('xs -> B xs') ('xs -> A xs') e.101) =  False;
 (('xs -> A xs') ('xs -> B xs') e.101) =  False;
 (('xs -> A xs') e.101) =  False;
 (e.101) =  False;
}

/*
*  InputFormat: <F695 e.101 >
*  OutputFormat: ==> s.1674 
*/
F695 {
 ('xs -> empty') =  True;
 ('xs -> empty') e.101 =  False;
 ('xs -> A xs') ('xs -> empty') e.101 =  False;
 ('xs -> A xs') ('xs -> B xs') e.101 =  <F695 e.101>;
 e.101 =  False;
}

****************************** The End ************************************