> How could reload 1 not get resolved? Well, it always does, if it gets that far. > When you are looking at reload 2 in some predicate, can you simply > assume that reload 1 will get resolved, and report that the mem > matches the predicate? Tried it, didn't help.