Updates for new structure and add snippets
Moves ModelChecker to ModelAnalyzer