type tree and call graph complete