Symbol: add_bus_available_prop