diff --git a/chb/arm/opcodes/ARMStoreRegister.py b/chb/arm/opcodes/ARMStoreRegister.py
index 84c18905..11e23374 100644
--- a/chb/arm/opcodes/ARMStoreRegister.py
+++ b/chb/arm/opcodes/ARMStoreRegister.py
@@ -265,7 +265,7 @@ def ast_prov(
             hl_lhs = XU.xvariable_to_ast_lval(
                 lhsvar, xdata, iaddr, astree, memaddr=memaddr)
 
-        elif xd.is_vmem_unknown and xd.is_address_known:
+        elif xd.is_address_known:
             memaddr = xd.xaddr
             hl_lhs = XU.xmemory_dereference_lval(memaddr, xdata, iaddr, astree)
 
diff --git a/chb/arm/opcodes/ARMStoreRegisterByte.py b/chb/arm/opcodes/ARMStoreRegisterByte.py
index d39eebab..d72a0045 100644
--- a/chb/arm/opcodes/ARMStoreRegisterByte.py
+++ b/chb/arm/opcodes/ARMStoreRegisterByte.py
@@ -211,7 +211,7 @@ def ast_prov(
             hl_lhs = XU.xvariable_to_ast_lval(
                 lhsvar, xdata, iaddr, astree, memaddr=memaddr)
 
-        elif xd.is_vmem_unknown and xd.is_address_known:
+        elif xd.is_address_known:
             memaddr = xd.xaddr
             hl_lhs = XU.xmemory_dereference_lval(memaddr, xdata, iaddr, astree)