NotASinkType
NegativeType
Fixes https://github.com/github/ml-ql-adaptive-threat-modeling/issues/1819
old-change-notes