Mnehmos/BHFormalization code health