Enhancements and improved documentation to the byte-code branch coverage