static IProbabilistic toProbabilistic(IProbabilistic p) {
  ret p;
}

static IProbabilistic toProbabilistic(Runnable r) {
  if (r cast IProbabilistic) ret p;
  ret runnableToProbabilistic(r);
}