Added basic implementation done for Masslog
Added unit tests
Code cleanup and refactoring
Added ModelAnalyzer to check if model satisfies requirements