ConcurrentInstanceTaxonomy: removeNode was not thread safe;
RandomWalkIncrementalRealizationCorrectnessTest failed for
testBasicABox; fixed