:- module eqvclass_bug. :- interface. :- import_module io. :- pred main(io::di, io::uo) is det. :- implementation. :- import_module eqvclass. main(!IO) :- ensure_equivalence(0, 0, init, X), print(X, !IO), nl(!IO).