Categorize conditional branches as either taken or not taken.
Support for the BFD library

If the libbfd development files are available, the Byfl run-time
system will use these to associate a source-code location (file name,
function name, line number, and line-number discriminator) with each
basic block.
Merge function calls and returns in textual output