interface IPStack extends IVStack {
  // declare a probabilistic choice point
  <B extends PStackComputable> void options(B function, IVF1<B>... options);
  <B extends PStackComputable> void options(B function, Iterable<IVF1<B>> options);
}