add in LTL parser, based on work by Rüdiger and Cat