GHC Whole Program Compiler and External STG IR tooling
Toolset to capture, simulate, synthesize and verify graph models