Alice

The alice branch supports the FAST (.fst) format for LTS transition system. The LTS support is overhauled.