casparpopova20232021-8-8 16:13:078/9 • Call graph: new weights for indirect arrows • Graph invariants • graph>spec premises and algorithm