Added trace for k-CFA. We need to add command-line support so that user can switch between different traces. However, the current implementation is found to be incorrect because variables are treated context-insensitively. Need to add Environment.