changes:
- implemented mop and mvp;
- fixed bugs in cp analysis;
- created test suite for cp analysis.