Get rid of the isKillInst predicate. LiveVariables already provides this information.