Changed cplex var names
Bug in NegTriComponent rule