{
    InternalCallTree: InternalCallTree,
    SolidityProxy: SolidityProxy,
    localDecoder: localDecoder,
    stateDecoder: stateDecoder,
    CodeAnalysis: CodeAnalysis
}