Fix a bug that leads to a crash when binat rules of the form