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