Fix issue 170. For every inductive/co-predicate P in the set S of focus
predicates , add to S all inductive/co-predicates in the same strongly
connected component (in the call graph) as P
↧