We have removed JSLIR internally, and migrated all dataflow analyses to JSHIR. We need to sync the change to this repo. Maybe we should do it right before #30. This also requires a rework of our documentation.