When reading code of Dependences::calculateDependences, I noticed that WAR is computed specifically by
buildWAR. Given ISL now supports "kills" in approximate dataflow analysis, this patch takes advantage of it.
Though I don't know if it's intended not using the ISL "kills" functionality.
This patch also cleans up a couple lines redundant codes. Any comments?