Module equiv_sequence_assertions not found.