Fix error in BDDApply that maked all formulas with implications false