Function if_region 

fn if_region(branches: &[(Rc<Expr>, Nodes)], otherwise: &Nodes) -> Region