Improve modularity of KCFA-based timestamps
Add parameter sensitive k-CFA addresses