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