plain k-CFA speed-up