This package contains visitors that perform partial evaluation and subsequent optimizations on byte code.