互切不变式

tac-invariant