結果 : branch coverage formula