Conditional expression does not propagate value range

[Shachar]

A conditional expression always resets the value range it returns. It should unify the value ranges from left and right clauses.

[samarthagali]

Hey! I'd like to contribute to this issue as I know it will help me enhance Practical by helping me understand the codebase

[Shachar]

Hey!

Sadly, I have abandoned the project. If you want to contribute anyways, I'll gladly help where I can and merge the code, though. Just be aware that the chances of this project advancing much further are slim.