tsc_is_invariant
if (tsc_is_invariant())
invariant = tsc_is_invariant();
bool tsc_is_invariant(void);