fixed input compiler, added dominance tree