Function bcsat::transform::transform_box

pub fn transform_box<F>(b: &mut Box<Formula>, f: &F) where
    F: Fn(Formula) -> Formula,