Implement size method for BooleanFormula