Pick unique names for rhs when case splitting