branch25: Allow specifying execution_count to infos_for_branch
branch25: Allow specifying execution_count to infos_for_branch

deep-cover/deep-cover,deep-cover/deep-cover,deep-cover/deep-cover,deep-cover/deep-cover