Allow to use k-CFA instead of m-CFA
Remove debug output