私も絶対とは言えませんが調べた限りでは簡単に数字で表すと例えば
10000枚付与時値段が付いていた場合、まず10000枚に対して課税される
その後、10000枚を売却した場合、売却時点でも課税される
そう言う意味でダブルで課税だと思われる