assert that tran is always local