Add tests for printing Equivalent. fixes #7180