A MicroInstructionDefinition now has a default