`Added for nondeterministic computing`
      eval_amb(Exp):=
        call(
          { tbl: Exp[AMB_TAB_idx];
            tab: tbl[TAB_TAB_idx];
            siz: size(tab);
            ctr: Exp[AMB_CTR_idx];
            if(siz=0
               continue(cont, AFS()),   << hier is over denke, bvb {a:(: 1, 2, 3 :); display(a); (: :)} moet niet direct AFS geven als hij (: :) leest (de derde keer da hij der passeert wel)
               if(ctr > siz,
                  continue(cont, AFS()),
                  continue(cont, eval(tab[ctr])))) };