klara.scripts.cover_gen_ins.solver.DepFinder

For every class, assume the last FunctionDef is the top level method to call. And for every instance, only the top level method will be call. This means that we could safely assume that every instance has only the attributes coming from __init__ and the top level method. The assumption being made: 1. Top level method has only `self` arg 2. Top level method is placed at the last of the class 3. Only top level method will be called by the class instance. All other method will be called only by the top level method The overall steps will be carried out: 1. visit the ClassDef. 2. Construct an instance and load context with all attributes in __init__ 3. Identify the top level method. 4. overload phi function infer handler. 5. Resolve the returned value by the top level method. this will trigger the overloaded phi function handler and those are the dependencies required.