Fixed a critical kCFA bug.