Function implement

Source
fn implement(
    relation: &mut MirRelationExpr,
    remap: &BTreeMap<LocalId, LocalId>,
) -> Result<(), TransformError>