Updating ltl.js to 0.0.2