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