Fix pretty simplifier to handle stack reads/memory read comparisons

[danmatichuk]

((notp(PSTATE_ZO) & (PSTATE_NO = PSTATE_VO)) | ((#x00000000 != r0P_offset) | (stack_baseO = stack_baseP))) & (((notp(PSTATE_ZO) & (PSTATE_NO = PSTATE_VO)) | ((#x00000000 != r0P_offset) | ((select(select(InitMemBytes, 1), (#xffffffb7 + stack_baseP)) = r0O_offset<31:24>) & ((select(select(InitMemBytes, 1), (#xffffffb6 + stack_baseP)) = r0O_offset<23:16>) & ((select(select(InitMemBytes, 1), (#xffffffb5 + stack_baseP)) = r0O_offset<15:8>) & (select(select(InitMemBytes, 1), (#xffffffb4 + stack_baseP)) = r0O_offset<7:0>)))))) & (((notp(PSTATE_ZO) & (PSTATE_NO = PSTATE_VO)) | ((#x00000000 != r0P_offset) | ((select(select(InitMemBytes, 1), (#xffffffbb + stack_baseP)) = r1O_offset<31:24>) & ((select(select(InitMemBytes, 1), (#xffffffba + stack_baseP)) = r1O_offset<23:16>) & ((select(select(InitMemBytes, 1), (#xffffffb9 + stack_baseP)) = r1O_offset<15:8>) & (select(select(InitMemBytes, 1), (#xffffffb8 + stack_baseP)) = r1O_offset<7:0>)))))) & (((notp(PSTATE_ZO) & (PSTATE_NO = PSTATE_VO)) | ((#x00000000 != r0P_offset) | ((select(select(InitMemBytes, 1), (#xffffffbf + stack_baseP)) = r2P_offset<31:24>) & ((select(select(InitMemBytes, 1), (#xffffffbe + stack_baseP)) = r2P_offset<23:16>) & ((select(select(InitMemBytes, 1), (#xffffffbd + stack_baseP)) = r2P_offset<15:8>) & (select(select(InitMemBytes, 1), (#xffffffbc + stack_baseP)) = r2P_offset<7:0>)))))) & (((notp(PSTATE_ZO) & (PSTATE_NO = PSTATE_VO)) | ((#x00000000 != r0P_offset) | ((select(select(InitMemBytes, 1), (#xffffffc3 + stack_baseP)) = r3P_offset<31:24>) & ((select(select(InitMemBytes, 1), (#xffffffc2 + stack_baseP)) = r3P_offset<23:16>) & ((select(select(InitMemBytes, 1), (#xffffffc1 + stack_baseP)) = r3P_offset<15:8>) & (select(select(InitMemBytes, 1), (#xffffffc0 + stack_baseP)) = r3P_offset<7:0>)))))) & (((notp(PSTATE_ZO) & (PSTATE_NO = PSTATE_VO)) | ((#x00000000 != r0P_offset) | ((select(select(InitMemBytes, 1), (#xffffffc7 + stack_baseP)) = r4P_offset<31:24>) & ((select(select(InitMemBytes, 1), (#xffffffc6 + stack_baseP)) = r4P_offset<23:16>) & ((select(select(InitMemBytes, 1), (#xffffffc5 + stack_baseP)) = r4P_offset<15:8>) & (select(select(InitMemBytes, 1), (#xffffffc4 + stack_baseP)) = r4P_offset<7:0>)))))) & (((notp(PSTATE_ZO) & (PSTATE_NO = PSTATE_VO)) | ((#x00000000 != r0P_offset) | ((select(select(InitMemBytes, 1), (#xffffffcb + stack_baseP)) = r5P_offset<31:24>) & ((select(select(InitMemBytes, 1), (#xffffffca + stack_baseP)) = r5P_offset<23:16>) & ((select(select(InitMemBytes, 1), (#xffffffc9 + stack_baseP)) = r5P_offset<15:8>) & (select(select(InitMemBytes, 1), (#xffffffc8 + stack_baseP)) = r5P_offset<7:0>)))))) & ((notp(PSTATE_ZO) & (PSTATE_NO = PSTATE_VO)) | ((#x00000000 != r0P_offset) | ((select(select(InitMemBytes, 1), (#xffffffd3 + stack_baseP)) = r7P_offset<31:24>) & ((select(select(InitMemBytes, 1), (#xffffffd2 + stack_baseP)) = r7P_offset<23:16>) & ((select(select(InitMemBytes, 1), (#xffffffd1 + stack_baseP)) = r7P_offset<15:8>) & (select(select(InitMemBytes, 1), (#xffffffd0 + stack_baseP)) = r7P_offset<7:0>))))))))))))