fixed minbif, made formula respect optional dependencies