refactor BRK
refactor Instruction