Hello again 😄 I’ve been experimenting a little bit with arrow-analysis and I’m wondering whether I could change something in this example for the

v1 > v2 => Positive(v1) > Positive(v2)

and

Positive(v1) > Positive(v2) => Positive(v1).value > Positive(v2).value

implications to hold

mmm, I think the analysis is not tracking correctly that if you have

pv1 = Positive(v1

, then

pv1.value = pv1

🤔

sure thing 😄