Libfcg

- Finished to implement sanity check function for a specification's statement ordering
- Bug fix