Adds defense against out-of-date word-sense pickle file.
Robustness in search for newer files in word-sense pickle file.
LTL generation cleanup