update bytecodeEvalTheory with (byte)array instructions