I stopped working on my assembly analyzer yesterday when I ended up trying to follow calls to methods in interfaces. The objects (forms) are created in a factory in an external framework out of my control. If this was properly documented maybe I could figure out what form I will get from the factory depending on the methods parameters.