Added some constness and fixed some mistakes in the ARM branch instruction handling