print required branch in error message