Add branch coverage information.