move transitive constraints to commenter mass and refresh with commenter

This commit is contained in:
Jens Petersen 2024-01-04 22:43:11 +08:00
parent 0f63f2afc1
commit 29461e0c44

File diff suppressed because it is too large Load Diff