Please submit a short doc on how the translation for control-flow constructs may be done from AST to IR.