Note why we can't enable branch coverage yet.