core: move cfg dumping to analyzer, comment View methods, more test for parameters tracking