Question on Circumspect's Design Choice

[Koukyosyumei]

I’m curious about the design choices behind Circumspect. The current implementation analyzes each template file independently and does not inspect internally called-templates defined in separate files. In contrast, other tools like Picus and ZKAP analyze the entire circuit, including callees.

What led you to adopt the current design approach?

Looking forward to your insights!