fn merge_root_maps( lhs: &HashMap<VariableId, HashSet<VariableId>>, rhs: &HashMap<VariableId, HashSet<VariableId>>, ) -> HashMap<VariableId, HashSet<VariableId>>