Rename choose_any to arbitrary