Correct Bug on BRV computation when implicit broadcasts on interfaces