Instructionmanager tests
InstructionManager tests