diff --git a/semantics-glue.k b/semantics-glue.k
index 10af82c3d0e27657ff3ea8eca4d74747e77eea0d..d7e85f12fdaa276c8bd9a6538277cfa4006372bb 100644
--- a/semantics-glue.k
+++ b/semantics-glue.k
@@ -2,146 +2,146 @@ require "x86-syntax.k"
 require "registers.k"
 
 module DISASSEMBLER-TO-SEMANTICS
-  imports DOMAINS
-  imports X86-SYNTAX 
+imports DOMAINS
+imports X86-SYNTAX 
 
-  syntax Register ::= DissassemblerRegisterToSemanticsRegister(K, Bool) [function]
-  syntax Opcode ::= DissassemblerToOpcode(Int, String, String) [function]
+syntax Register ::= DissassemblerRegisterToSemanticsRegister(K, Bool) [function]
+syntax Opcode ::= DissassemblerToOpcode(Int, String, String) [function]
 
-  syntax String ::= RegisterToString(K,Bool) [function]
-  rule DisassemblerRegisterToSemanticsRegister(REG_INVALID, _) => %invalid
-  rule DisassemblerRegisterToSemanticsRegister(REG_BND0, _) => %bnd0
-  rule DisassemblerRegisterToSemanticsRegister(REG_BND1, _) => %bnd1
-  rule DisassemblerRegisterToSemanticsRegister(REG_BND2, _) => %bnd2
-  rule DisassemblerRegisterToSemanticsRegister(REG_BND3, _) => %bnd3
-  rule DisassemblerRegisterToSemanticsRegister(REG_CR0, _) => %cr0
-  rule DisassemblerRegisterToSemanticsRegister(REG_CR2, _) => %cr2
-  rule DisassemblerRegisterToSemanticsRegister(REG_CR3, _) => %cr3
-  rule DisassemblerRegisterToSemanticsRegister(REG_CR4, _) => %cr4
-  rule DisassemblerRegisterToSemanticsRegister(REG_CR8, _) => %cr8
-  rule DisassemblerRegisterToSemanticsRegister(REG_DR0, _) => %dr0
-  rule DisassemblerRegisterToSemanticsRegister(REG_DR1, _) => %dr1
-  rule DisassemblerRegisterToSemanticsRegister(REG_DR2, _) => %dr2
-  rule DisassemblerRegisterToSemanticsRegister(REG_DR3, _) => %dr3
-  rule DisassemblerRegisterToSemanticsRegister(REG_DR4, _) => %dr4
-  rule DisassemblerRegisterToSemanticsRegister(REG_DR5, _) => %dr5
-  rule DisassemblerRegisterToSemanticsRegister(REG_DR6, _) => %dr6
-  rule DisassemblerRegisterToSemanticsRegister(REG_DR7, _) => %dr7
-  rule DisassemblerRegisterToSemanticsRegister(REG_FLAGS, _) => %flags
-  rule DisassemblerRegisterToSemanticsRegister(REG_EFLAGS, _) => %eflags
-  rule DisassemblerRegisterToSemanticsRegister(REG_RFLAGS, _) => %rflags
-  rule DisassemblerRegisterToSemanticsRegister(REG_AX, _) => %ax
-  rule DisassemblerRegisterToSemanticsRegister(REG_CX, _) => %cx
-  rule DisassemblerRegisterToSemanticsRegister(REG_DX, _) => %dx
-  rule DisassemblerRegisterToSemanticsRegister(REG_BX, _) => %bx
-  rule DisassemblerRegisterToSemanticsRegister(REG_SP, _) => %sp
-  rule DisassemblerRegisterToSemanticsRegister(REG_BP, _) => %bp
-  rule DisassemblerRegisterToSemanticsRegister(REG_SI, _) => %si
-  rule DisassemblerRegisterToSemanticsRegister(REG_DI, _) => %di
-  rule DisassemblerRegisterToSemanticsRegister(REG_R8W, _) => %r8w
-  rule DisassemblerRegisterToSemanticsRegister(REG_R9W, _) => %r9w
-  rule DisassemblerRegisterToSemanticsRegister(REG_R10W, _) => %r10w
-  rule DisassemblerRegisterToSemanticsRegister(REG_R11W, _) => %r11w
-  rule DisassemblerRegisterToSemanticsRegister(REG_R12W, _) => %r12w
-  rule DisassemblerRegisterToSemanticsRegister(REG_R13W, _) => %r13w
-  rule DisassemblerRegisterToSemanticsRegister(REG_R14W, _) => %r14w
-  rule DisassemblerRegisterToSemanticsRegister(REG_R15W, _) => %r15w
-  rule DisassemblerRegisterToSemanticsRegister(REG_EAX, _) => %eax
-  rule DisassemblerRegisterToSemanticsRegister(REG_ECX, _) => %ecx
-  rule DisassemblerRegisterToSemanticsRegister(REG_EDX, _) => %edx
-  rule DisassemblerRegisterToSemanticsRegister(REG_EBX, _) => %ebx
-  rule DisassemblerRegisterToSemanticsRegister(REG_ESP, _) => %esp
-  rule DisassemblerRegisterToSemanticsRegister(REG_EBP, _) => %ebp
-  rule DisassemblerRegisterToSemanticsRegister(REG_ESI, _) => %esi
-  rule DisassemblerRegisterToSemanticsRegister(REG_EDI, _) => %edi
-  rule DisassemblerRegisterToSemanticsRegister(REG_R8D, _) => %r8d
-  rule DisassemblerRegisterToSemanticsRegister(REG_R9D, _) => %r9d
-  rule DisassemblerRegisterToSemanticsRegister(REG_R10D, _) => %r10d
-  rule DisassemblerRegisterToSemanticsRegister(REG_R11D, _) => %r11d
-  rule DisassemblerRegisterToSemanticsRegister(REG_R12D, _) => %r12d
-  rule DisassemblerRegisterToSemanticsRegister(REG_R13D, _) => %r13d
-  rule DisassemblerRegisterToSemanticsRegister(REG_R14D, _) => %r14d
-  rule DisassemblerRegisterToSemanticsRegister(REG_R15D, _) => %r15d
-  rule DisassemblerRegisterToSemanticsRegister(REG_RAX, _) => %rax
-  rule DisassemblerRegisterToSemanticsRegister(REG_RCX, _) => %rcx
-  rule DisassemblerRegisterToSemanticsRegister(REG_RDX, _) => %rdx
-  rule DisassemblerRegisterToSemanticsRegister(REG_RBX, _) => %rbx
-  rule DisassemblerRegisterToSemanticsRegister(REG_RSP, _) => %rsp
-  rule DisassemblerRegisterToSemanticsRegister(REG_RBP, _) => %rbp
-  rule DisassemblerRegisterToSemanticsRegister(REG_RSI, _) => %rsi
-  rule DisassemblerRegisterToSemanticsRegister(REG_RDI, _) => %rdi
-  rule DisassemblerRegisterToSemanticsRegister(REG_R8, _) => %r8
-  rule DisassemblerRegisterToSemanticsRegister(REG_R9, _) => %r9
-  rule DisassemblerRegisterToSemanticsRegister(REG_R10, _) => %r10
-  rule DisassemblerRegisterToSemanticsRegister(REG_R11, _) => %r11
-  rule DisassemblerRegisterToSemanticsRegister(REG_R12, _) => %r12
-  rule DisassemblerRegisterToSemanticsRegister(REG_R13, _) => %r13
-  rule DisassemblerRegisterToSemanticsRegister(REG_R14, _) => %r14
-  rule DisassemblerRegisterToSemanticsRegister(REG_R15, _) => %r15
-  rule DisassemblerRegisterToSemanticsRegister(REG_AL, _) => %al
-  rule DisassemblerRegisterToSemanticsRegister(REG_CL, _) => %cl
-  rule DisassemblerRegisterToSemanticsRegister(REG_DL, _) => %dl
-  rule DisassemblerRegisterToSemanticsRegister(REG_BL, _) => %bl
-  rule DisassemblerRegisterToSemanticsRegister(REG_SPL, _) => %spl
-  rule DisassemblerRegisterToSemanticsRegister(REG_BPL, _) => %bpl
-  rule DisassemblerRegisterToSemanticsRegister(REG_SIL, _) => %sil
-  rule DisassemblerRegisterToSemanticsRegister(REG_DIL, _) => %dil
-  rule DisassemblerRegisterToSemanticsRegister(REG_R8B, _) => %r8b
-  rule DisassemblerRegisterToSemanticsRegister(REG_R9B, _) => %r9b
-  rule DisassemblerRegisterToSemanticsRegister(REG_R10B, _) => %r10b
-  rule DisassemblerRegisterToSemanticsRegister(REG_R11B, _) => %r11b
-  rule DisassemblerRegisterToSemanticsRegister(REG_R12B, _) => %r12b
-  rule DisassemblerRegisterToSemanticsRegister(REG_R13B, _) => %r13b
-  rule DisassemblerRegisterToSemanticsRegister(REG_R14B, _) => %r14b
-  rule DisassemblerRegisterToSemanticsRegister(REG_R15B, _) => %r15b
-  rule DisassemblerRegisterToSemanticsRegister(REG_AH, _) => %ah
-  rule DisassemblerRegisterToSemanticsRegister(REG_CH, _) => %ch
-  rule DisassemblerRegisterToSemanticsRegister(REG_DH, _) => %dh
-  rule DisassemblerRegisterToSemanticsRegister(REG_BH, _) => %bh
-  rule DisassemblerRegisterToSemanticsRegister(REG_ERROR, _) => %error
-  rule DisassemblerRegisterToSemanticsRegister(REG_RIP, _) => %rip
-  rule DisassemblerRegisterToSemanticsRegister(REG_EIP, _) => %eip
-  rule DisassemblerRegisterToSemanticsRegister(REG_IP, _) => %ip
-  rule DisassemblerRegisterToSemanticsRegister(REG_K0, _) => %k0
-  rule DisassemblerRegisterToSemanticsRegister(REG_K1, _) => %k1
-  rule DisassemblerRegisterToSemanticsRegister(REG_K2, _) => %k2
-  rule DisassemblerRegisterToSemanticsRegister(REG_K3, _) => %k3
-  rule DisassemblerRegisterToSemanticsRegister(REG_K4, _) => %k4
-  rule DisassemblerRegisterToSemanticsRegister(REG_K5, _) => %k5
-  rule DisassemblerRegisterToSemanticsRegister(REG_K6, _) => %k6
-  rule DisassemblerRegisterToSemanticsRegister(REG_K7, _) => %k7
-  rule DisassemblerRegisterToSemanticsRegister(REG_MMX0, _) => %mmx0
-  rule DisassemblerRegisterToSemanticsRegister(REG_MMX1, _) => %mmx1
-  rule DisassemblerRegisterToSemanticsRegister(REG_MMX2, _) => %mmx2
-  rule DisassemblerRegisterToSemanticsRegister(REG_MMX3, _) => %mmx3
-  rule DisassemblerRegisterToSemanticsRegister(REG_MMX4, _) => %mmx4
-  rule DisassemblerRegisterToSemanticsRegister(REG_MMX5, _) => %mmx5
-  rule DisassemblerRegisterToSemanticsRegister(REG_MMX6, _) => %mmx6
-  rule DisassemblerRegisterToSemanticsRegister(REG_MMX7, _) => %mmx7
-  rule DisassemblerRegisterToSemanticsRegister(REG_SSP, _) => %ssp
-  rule DisassemblerRegisterToSemanticsRegister(REG_MXCSR, _) => %mxcsr
-  rule DisassemblerRegisterToSemanticsRegister(REG_STACKPUSH, _) => %stackpush
-  rule DisassemblerRegisterToSemanticsRegister(REG_STACKPOP, _) => %stackpop
-  rule DisassemblerRegisterToSemanticsRegister(REG_GDTR, _) => %gdtr
-  rule DisassemblerRegisterToSemanticsRegister(REG_LDTR, _) => %ldtr
-  rule DisassemblerRegisterToSemanticsRegister(REG_IDTR, _) => %idtr
-  rule DisassemblerRegisterToSemanticsRegister(REG_TR, _) => %tr
-  rule DisassemblerRegisterToSemanticsRegister(REG_TSC, _) => %tsc
-  rule DisassemblerRegisterToSemanticsRegister(REG_TSCAUX, _) => %tscaux
-  rule DisassemblerRegisterToSemanticsRegister(REG_MSRS, _) => %msrs
-  rule DisassemblerRegisterToSemanticsRegister(REG_FSBASE, _) => %fsbase
-  rule DisassemblerRegisterToSemanticsRegister(REG_GSBASE, _) => %gsbase
-  rule DisassemblerRegisterToSemanticsRegister(REG_X87CONTROL, _) => %x87control
-  rule DisassemblerRegisterToSemanticsRegister(REG_X87STATUS, _) => %x87status
-  rule DisassemblerRegisterToSemanticsRegister(REG_X87TAG, _) => %x87tag
-  rule DisassemblerRegisterToSemanticsRegister(REG_X87PUSH, _) => %x87push
-  rule DisassemblerRegisterToSemanticsRegister(REG_X87POP, _) => %x87pop
-  rule DisassemblerRegisterToSemanticsRegister(REG_X87POP2, _) => %x87pop2
-  rule DisassemblerRegisterToSemanticsRegister(REG_CS, _) => %cs
-  rule DisassemblerRegisterToSemanticsRegister(REG_DS, _) => %ds
-  rule DisassemblerRegisterToSemanticsRegister(REG_ES, _) => %es
-  rule DisassemblerRegisterToSemanticsRegister(REG_SS, _) => %ss
-  rule DisassemblerRegisterToSemanticsRegister(REG_FS, _) => %fs
+syntax String ::= RegisterToString(K,Bool) [function]
+rule DisassemblerRegisterToSemanticsRegister(REG_INVALID, _) => %invalid
+rule DisassemblerRegisterToSemanticsRegister(REG_BND0, _) => %bnd0
+rule DisassemblerRegisterToSemanticsRegister(REG_BND1, _) => %bnd1
+rule DisassemblerRegisterToSemanticsRegister(REG_BND2, _) => %bnd2
+rule DisassemblerRegisterToSemanticsRegister(REG_BND3, _) => %bnd3
+rule DisassemblerRegisterToSemanticsRegister(REG_CR0, _) => %cr0
+rule DisassemblerRegisterToSemanticsRegister(REG_CR2, _) => %cr2
+rule DisassemblerRegisterToSemanticsRegister(REG_CR3, _) => %cr3
+rule DisassemblerRegisterToSemanticsRegister(REG_CR4, _) => %cr4
+rule DisassemblerRegisterToSemanticsRegister(REG_CR8, _) => %cr8
+rule DisassemblerRegisterToSemanticsRegister(REG_DR0, _) => %dr0
+rule DisassemblerRegisterToSemanticsRegister(REG_DR1, _) => %dr1
+rule DisassemblerRegisterToSemanticsRegister(REG_DR2, _) => %dr2
+rule DisassemblerRegisterToSemanticsRegister(REG_DR3, _) => %dr3
+rule DisassemblerRegisterToSemanticsRegister(REG_DR4, _) => %dr4
+rule DisassemblerRegisterToSemanticsRegister(REG_DR5, _) => %dr5
+rule DisassemblerRegisterToSemanticsRegister(REG_DR6, _) => %dr6
+rule DisassemblerRegisterToSemanticsRegister(REG_DR7, _) => %dr7
+rule DisassemblerRegisterToSemanticsRegister(REG_FLAGS, _) => %flags
+rule DisassemblerRegisterToSemanticsRegister(REG_EFLAGS, _) => %eflags
+rule DisassemblerRegisterToSemanticsRegister(REG_RFLAGS, _) => %rflags
+rule DisassemblerRegisterToSemanticsRegister(REG_AX, _) => %ax
+rule DisassemblerRegisterToSemanticsRegister(REG_CX, _) => %cx
+rule DisassemblerRegisterToSemanticsRegister(REG_DX, _) => %dx
+rule DisassemblerRegisterToSemanticsRegister(REG_BX, _) => %bx
+rule DisassemblerRegisterToSemanticsRegister(REG_SP, _) => %sp
+rule DisassemblerRegisterToSemanticsRegister(REG_BP, _) => %bp
+rule DisassemblerRegisterToSemanticsRegister(REG_SI, _) => %si
+rule DisassemblerRegisterToSemanticsRegister(REG_DI, _) => %di
+rule DisassemblerRegisterToSemanticsRegister(REG_R8W, _) => %r8w
+rule DisassemblerRegisterToSemanticsRegister(REG_R9W, _) => %r9w
+rule DisassemblerRegisterToSemanticsRegister(REG_R10W, _) => %r10w
+rule DisassemblerRegisterToSemanticsRegister(REG_R11W, _) => %r11w
+rule DisassemblerRegisterToSemanticsRegister(REG_R12W, _) => %r12w
+rule DisassemblerRegisterToSemanticsRegister(REG_R13W, _) => %r13w
+rule DisassemblerRegisterToSemanticsRegister(REG_R14W, _) => %r14w
+rule DisassemblerRegisterToSemanticsRegister(REG_R15W, _) => %r15w
+rule DisassemblerRegisterToSemanticsRegister(REG_EAX, _) => %eax
+rule DisassemblerRegisterToSemanticsRegister(REG_ECX, _) => %ecx
+rule DisassemblerRegisterToSemanticsRegister(REG_EDX, _) => %edx
+rule DisassemblerRegisterToSemanticsRegister(REG_EBX, _) => %ebx
+rule DisassemblerRegisterToSemanticsRegister(REG_ESP, _) => %esp
+rule DisassemblerRegisterToSemanticsRegister(REG_EBP, _) => %ebp
+rule DisassemblerRegisterToSemanticsRegister(REG_ESI, _) => %esi
+rule DisassemblerRegisterToSemanticsRegister(REG_EDI, _) => %edi
+rule DisassemblerRegisterToSemanticsRegister(REG_R8D, _) => %r8d
+rule DisassemblerRegisterToSemanticsRegister(REG_R9D, _) => %r9d
+rule DisassemblerRegisterToSemanticsRegister(REG_R10D, _) => %r10d
+rule DisassemblerRegisterToSemanticsRegister(REG_R11D, _) => %r11d
+rule DisassemblerRegisterToSemanticsRegister(REG_R12D, _) => %r12d
+rule DisassemblerRegisterToSemanticsRegister(REG_R13D, _) => %r13d
+rule DisassemblerRegisterToSemanticsRegister(REG_R14D, _) => %r14d
+rule DisassemblerRegisterToSemanticsRegister(REG_R15D, _) => %r15d
+rule DisassemblerRegisterToSemanticsRegister(REG_RAX, _) => %rax
+rule DisassemblerRegisterToSemanticsRegister(REG_RCX, _) => %rcx
+rule DisassemblerRegisterToSemanticsRegister(REG_RDX, _) => %rdx
+rule DisassemblerRegisterToSemanticsRegister(REG_RBX, _) => %rbx
+rule DisassemblerRegisterToSemanticsRegister(REG_RSP, _) => %rsp
+rule DisassemblerRegisterToSemanticsRegister(REG_RBP, _) => %rbp
+rule DisassemblerRegisterToSemanticsRegister(REG_RSI, _) => %rsi
+rule DisassemblerRegisterToSemanticsRegister(REG_RDI, _) => %rdi
+rule DisassemblerRegisterToSemanticsRegister(REG_R8, _) => %r8
+rule DisassemblerRegisterToSemanticsRegister(REG_R9, _) => %r9
+rule DisassemblerRegisterToSemanticsRegister(REG_R10, _) => %r10
+rule DisassemblerRegisterToSemanticsRegister(REG_R11, _) => %r11
+rule DisassemblerRegisterToSemanticsRegister(REG_R12, _) => %r12
+rule DisassemblerRegisterToSemanticsRegister(REG_R13, _) => %r13
+rule DisassemblerRegisterToSemanticsRegister(REG_R14, _) => %r14
+rule DisassemblerRegisterToSemanticsRegister(REG_R15, _) => %r15
+rule DisassemblerRegisterToSemanticsRegister(REG_AL, _) => %al
+rule DisassemblerRegisterToSemanticsRegister(REG_CL, _) => %cl
+rule DisassemblerRegisterToSemanticsRegister(REG_DL, _) => %dl
+rule DisassemblerRegisterToSemanticsRegister(REG_BL, _) => %bl
+rule DisassemblerRegisterToSemanticsRegister(REG_SPL, _) => %spl
+rule DisassemblerRegisterToSemanticsRegister(REG_BPL, _) => %bpl
+rule DisassemblerRegisterToSemanticsRegister(REG_SIL, _) => %sil
+rule DisassemblerRegisterToSemanticsRegister(REG_DIL, _) => %dil
+rule DisassemblerRegisterToSemanticsRegister(REG_R8B, _) => %r8b
+rule DisassemblerRegisterToSemanticsRegister(REG_R9B, _) => %r9b
+rule DisassemblerRegisterToSemanticsRegister(REG_R10B, _) => %r10b
+rule DisassemblerRegisterToSemanticsRegister(REG_R11B, _) => %r11b
+rule DisassemblerRegisterToSemanticsRegister(REG_R12B, _) => %r12b
+rule DisassemblerRegisterToSemanticsRegister(REG_R13B, _) => %r13b
+rule DisassemblerRegisterToSemanticsRegister(REG_R14B, _) => %r14b
+rule DisassemblerRegisterToSemanticsRegister(REG_R15B, _) => %r15b
+rule DisassemblerRegisterToSemanticsRegister(REG_AH, _) => %ah
+rule DisassemblerRegisterToSemanticsRegister(REG_CH, _) => %ch
+rule DisassemblerRegisterToSemanticsRegister(REG_DH, _) => %dh
+rule DisassemblerRegisterToSemanticsRegister(REG_BH, _) => %bh
+rule DisassemblerRegisterToSemanticsRegister(REG_ERROR, _) => %error
+rule DisassemblerRegisterToSemanticsRegister(REG_RIP, _) => %rip
+rule DisassemblerRegisterToSemanticsRegister(REG_EIP, _) => %eip
+rule DisassemblerRegisterToSemanticsRegister(REG_IP, _) => %ip
+rule DisassemblerRegisterToSemanticsRegister(REG_K0, _) => %k0
+rule DisassemblerRegisterToSemanticsRegister(REG_K1, _) => %k1
+rule DisassemblerRegisterToSemanticsRegister(REG_K2, _) => %k2
+rule DisassemblerRegisterToSemanticsRegister(REG_K3, _) => %k3
+rule DisassemblerRegisterToSemanticsRegister(REG_K4, _) => %k4
+rule DisassemblerRegisterToSemanticsRegister(REG_K5, _) => %k5
+rule DisassemblerRegisterToSemanticsRegister(REG_K6, _) => %k6
+rule DisassemblerRegisterToSemanticsRegister(REG_K7, _) => %k7
+rule DisassemblerRegisterToSemanticsRegister(REG_MMX0, _) => %mmx0
+rule DisassemblerRegisterToSemanticsRegister(REG_MMX1, _) => %mmx1
+rule DisassemblerRegisterToSemanticsRegister(REG_MMX2, _) => %mmx2
+rule DisassemblerRegisterToSemanticsRegister(REG_MMX3, _) => %mmx3
+rule DisassemblerRegisterToSemanticsRegister(REG_MMX4, _) => %mmx4
+rule DisassemblerRegisterToSemanticsRegister(REG_MMX5, _) => %mmx5
+rule DisassemblerRegisterToSemanticsRegister(REG_MMX6, _) => %mmx6
+rule DisassemblerRegisterToSemanticsRegister(REG_MMX7, _) => %mmx7
+rule DisassemblerRegisterToSemanticsRegister(REG_SSP, _) => %ssp
+rule DisassemblerRegisterToSemanticsRegister(REG_MXCSR, _) => %mxcsr
+rule DisassemblerRegisterToSemanticsRegister(REG_STACKPUSH, _) => %stackpush
+rule DisassemblerRegisterToSemanticsRegister(REG_STACKPOP, _) => %stackpop
+rule DisassemblerRegisterToSemanticsRegister(REG_GDTR, _) => %gdtr
+rule DisassemblerRegisterToSemanticsRegister(REG_LDTR, _) => %ldtr
+rule DisassemblerRegisterToSemanticsRegister(REG_IDTR, _) => %idtr
+rule DisassemblerRegisterToSemanticsRegister(REG_TR, _) => %tr
+rule DisassemblerRegisterToSemanticsRegister(REG_TSC, _) => %tsc
+rule DisassemblerRegisterToSemanticsRegister(REG_TSCAUX, _) => %tscaux
+rule DisassemblerRegisterToSemanticsRegister(REG_MSRS, _) => %msrs
+rule DisassemblerRegisterToSemanticsRegister(REG_FSBASE, _) => %fsbase
+rule DisassemblerRegisterToSemanticsRegister(REG_GSBASE, _) => %gsbase
+rule DisassemblerRegisterToSemanticsRegister(REG_X87CONTROL, _) => %x87control
+rule DisassemblerRegisterToSemanticsRegister(REG_X87STATUS, _) => %x87status
+rule DisassemblerRegisterToSemanticsRegister(REG_X87TAG, _) => %x87tag
+rule DisassemblerRegisterToSemanticsRegister(REG_X87PUSH, _) => %x87push
+rule DisassemblerRegisterToSemanticsRegister(REG_X87POP, _) => %x87pop
+rule DisassemblerRegisterToSemanticsRegister(REG_X87POP2, _) => %x87pop2
+rule DisassemblerRegisterToSemanticsRegister(REG_CS, _) => %cs
+rule DisassemblerRegisterToSemanticsRegister(REG_DS, _) => %ds
+rule DisassemblerRegisterToSemanticsRegister(REG_ES, _) => %es
+rule DisassemblerRegisterToSemanticsRegister(REG_SS, _) => %ss
+rule DisassemblerRegisterToSemanticsRegister(REG_FS, _) => %fs
     rule DisassemblerRegisterToSemanticsRegister(REG_GS, _) => %gs
 rule DisassemblerRegisterToSemanticsRegister(REG_ST0, false) => %st(0)
     rule DisassemblerRegisterToSemanticsRegister(REG_ST0, true) => %st
@@ -251,4 +251,4 @@ rule DisassemblerRegisterToSemanticsRegister(REG_ST7, _) => %st(7)
     rule DisassemblerRegisterToSemanticsRegister(REG_ZMM31, _) => %zmm31
 
 
-endmodule
+    endmodule