Correctness rule-tree mapping at
SimilarityStorageBasedDIRTSyntacticResource, based on
FlippedBidirectionalMap 

Commented properties at buitee.xml configuration, for redis-based
knowledge resources, based on existing running servers