Symbol: add_restr