Clean up binary search in TransitionVector