```sm
assert(tvar.constr.inst != tvar, s"cylic TypeVar ${tvar.origin}")
```