ASSIGN
  
  next(a) :=
    case
      a : 0;
      b :
        case
	  c : d;
	  1 : 1;
	esac;
      1 : 1;
    esac;
