Al-Quduri uses shah in some cases and badanah in others. Shah denotes a small livestock offering such as a sheep or goat; badanah denotes a major sacrificial animal.
The terms are not interchangeable. The after-Arafat-before-shaving clause calls for a badanah, whereas the after-shaving clause expressly calls for a shah.