Removed sanity checks from lsd.
Optimized relation extraction from graph.
One state invgen is now a separated technique.