Corrected a bug in transitivity constraint closure.