refactor
Support translating huge Assurance Cases