Allow removal of all explicit equivalences

If no explicit equivalences are provided, equivalences should still be written, thereby removing any existing explicit equivalences.