Various diagnostic fixes

D2Tree.java
* small changes in code design

D2TreeCore.java
* Added a method to find out if a consistency has been fixed.
* mini-fix in findRTInconsistencies() (one case needed special treatment)