An algorithmic mitigation of large spurious interprocedural cycles in static analysis