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