Yak shaving: determine covered branches for each instruction (#598)

This is required for merge of coverage information from several
instructions that cover different branches, which in his turn is
required for implementation of filter of duplicate blocks that
compilers generate for `finally`.