Better testing for result branch distinctness.