add SimplifyAST prototype
update LLIR definition