add dce for if
add tests
extend constant checker
clean up
rename to conditionIsConstant