finish PathCover test
refactor analyser, statemap resolve pre decls before of resolve