tests

$ENTRY Go {
  term1 term2 = 
    term1;
  (term1 (term2))= 
    <NotGo term2>;
}
NotGo {
  term1 ('ABC':'D') = 
    <Go term1>;
}

$ENTRY FnGo {
  t.term1 t.term2 =
    t.term1;
  (t.term1((t.term2())()))
    = <FnNotGo t.term2>;
}
FnNotGo {
  t.term1(A(B(CD))) =
    <FnGo t.term1>;
}