finished toOBDD method for Formulas