add test cases for substitution
move getattr getobjattr to const folding; add getfield optimization
pass test
add optimization test on in tests/