update bytecodeEncodeTheory with (byte)array insts