Libfcg

- Started to implement sanity check function for a specification's statement ordering