Add addition to JIT
Add rudimentary brach annotation