reducing visibility of BinaryFormula constructor