> they are designated as terrorists instead of sanctioned with the normal OFAC route.

It was both. The Treasury went the OFAC route while the State Department designated them a terrorist:

https://home.treasury.gov/news/press-releases/sb0616/

https://www.state.gov/releases/office-of-the-spokesperson/20...