gluax

@bendyarm oh interesting, This looks like we are counting the output register as a private variable which probably shouldn't be done. That might be a discussion to have before I...

This includes issue #1087.

So looking into this might be similar to issues like #1148 and issue #870. We can tell that the variable is a constant, but we don't have the input value...

@acoglio @collinc97 the issue here is we haven't read the inputs yet. However, it is a `const`. So my question is, should `const` inputs be known right away (i.e., during...

@acoglio it is not a type-inference error, it's a we don't know the value of x error, so we ignore it(return `None` instead of `Some(value)`).

@acoglio it's type-inferring the size of 4 for the LHS because we do not know the value of x. We know that x is a u32. We just don't what...

@acoglio got ya. I wouldn't call that a type-inference error since the algorithm for it is fine as we know x us a `u32`. No changes to the type-inference here...

More specifically, the issue is with getting the [const_value](https://github.com/AleoHQ/leo/blob/master/asg/src/expression/variable_ref.rs#L69) of x, as that's the function that returns `None`.

@bendyarm can you post the expected output maybe generate from master?

As a note, this also affects groups. I have fixes for these on a branch where I'm working on #1493. Might open a separate pr if that one keeps taking...