Symbol: add_bus_range_prop