Included modelchecking and patternmanager in single page;
Added save and restore state for modelcheck and patternmanager