Rename beliefs -> bft.
Rename dst -> bft.
Rename filenames: beliefs -> bft, dst -> bft.