Function minitt::ast::branch_to_righted

pub fn branch_to_righted(branch: Branch, context: Telescope) -> CaseTree

This function name is mysterious, but I failed to find a better name. It's for converting a Branch into a CaseTree by inserting the context to every Cases.