Fix a bug in branch adjustment: when neither label follows a conditional branch, a temporary label is properly created.