Update conflict analyzer to consider live variables in conflict with defined variables