maybe fixed parser problem
solved by ramdom sampling but its order may be too high...
still remaining some bugs...
solve untill test case 5
solve untill test case 7
fix MAX_V
fix a|~a
modify some parts, but remaining some bugs...
sovle 2504_Statement_Coverage
Merge branch 'feature-2504_Statement_Coverage'