Beta version of ltlfo2mon.