Minor bug fixes
Finally the k-CFA analysis is working! This version passed every small test case that I have. If tested more heavily and no error is found, then we could take this commit as the basic "oracle" version whose output can be compared with that of future version for future correctness test.