Check the math for tBF

[gaow]

In the small sample correction setting here we used tBF for convenience but need to verify it --- there is no counterpart in SuSiE to check on this as we purged tBF codes from SuSiE a while ago.