Add `User_Wireless_Interface_uses_Antenna`