abstract sclass PStackComputableWithStep<A> extends PStackComputable<A> {
  double probability = 1;
  
  // phasing out the signature with subComputationResult
  public final void step(VStack stack, O subComputationResult) {
    step((IPStack) stack);
  }
  
  void step(IPStack stack) {}
}