Class BitVectorFormulaBuilderSimple