Takuan: Using Dynamic Invariants to Debug Order-Dependent Flaky Tests. - Nate Levin; Chengpeng Li 002; Yule Zhang; August Shi; Wing Lam (NIER@ICSE, 2025)