data-structure-inferrer-1.0: Il/tests/d1_delmax_d2_max.il

int main()
{
	ds d1
	ds d2
	delete_max(d1)
	max(d2)
}