Utkarsh Sharma

hey @katat I have been stuck on how to do this at the IR level. The crate [circify/circ](https://github.com/circify/circ) that is used for `ir` I could not find support for ITE...

> As we have already supported converting expressions or statements to the circ IR, I think what would be needed for enhancing the ITE statement is plugging its parsed branches...

> The ITE branches in hint function can support statements like a function blocks. @katat This part is done and in the ir have somthing like: ``` StmtKind::Ite { condition,...

> Here is the example on how to create circ term for branching: Yup but this support only if the `if-else` blocks have return not the general branching right? like...