Added flag --useB1 to use B' instead of B*.
Added flag --noopt to disable simple optimizations.