Fixed: Anomaly in the presence of duplicate variables within a disjunctive pattern (#17857, fixes #17854, by Hugo Herbelin).