Add support for multiple assignments in LTS.
Add mkString to LTS target for pretty printing annotations.
Fix interplay between narrowing and initial conditions in LTS.

Initial conditions should always be applied during descending phase,
at least in the narrowing points.
Add example in the FAST format from the Alice benchmarks.

Here is the URL for the original benchmarks: http://alice.cri.ensmp.fr/
Add support for the FAST format.
Add example program for the FAST analyzer.