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