Added the function to use reachable-matrix on creation of LHS. (halfway)