add const folding and its test
add alias elimination