add freezeInt
constant fold asInstanceOf
asInstanceOf for lir
binary tree pe test
check file
cleanup, remove duplication
check files. tests pass