anchor.diff:        if (fr.vars.minj < fr.args.bLen)
   	 $display("delete B[%d] through B[%d]",
   		  fr.args.bStart + fr.vars.minj, fr.args.bStart + fr.args.bLen - 1);
  +      $display("notes fr.vars.minj %f fr.args.bLen %d",
  +	 fr.vars.minj, fr.args.bLen);
         fr.doreturn();
      endseq;
   
  
positive.code: 	 fr.args.aStart, fr.args.aLen, fr.args.bStart, fr.args.bLen);
        if (fr.args.bLen == 0)
  	 begin
  	    $display("delete A[%d] through A[%d]", 
  	       fr.args.aStart, fr.args.aStart + fr.args.aLen - 1);
  	    fr.doreturn();
  	 end
       else if (fr.args.bLen == 0)
  	begin
  	   $display("insert B[%d] through B[%d]",
  	      fr.args.bStart, fr.args.bStart + fr.args.bLen - 1);
  
negative.code: 	    if (min(alt1, alt2) < minsofar)
  	       par
  		  minsofar <= min(alt1, alt2);
  		  fr.vars <= CVars{midi: 0, minj: jj, mintype: 1};
  	       endpar
  	 endseq
        if (fr.vars.minj > 1)
  