Constraints visualisation and Binary Relation Constraints discovery
algorithm. Visualisations now uses cache.
minor