Decompiler seems not following the set register value

[Escapingbug]

When use "Set Register Value" in the listing, although the listing adds the "assume X = Y" tag, but the decopmiler seems not knowing it.

I haven't read the code about this part. It might be that decompiler just doesn't know about this (doesn't has such feature). If we'd add such feature, a simple method would be to get the assumed value from Java layer then add a IR to denote that set value (i.e, "REG = COPY VALUE").

One needs to understand the decompiler code to add such feature, but the overall method should be easy.