Implemented the function to use reachable-matrix on creation of LHS.

Revised the procedure to set distance-provider to knowledge-base.
Added a function of node_t for providing its evidences.