interface IBStack { void addUndo aka temp(AutoCloseable undo); void options(B function, IVF1... options); void options(B function, Iterable> options); A nextResult(); A nextResultWithPrintStruct(long maxSteps); }