Enhanced testbench

Testbench: Better generating of formulae with n alternations