image/svg+xml obj1 obj2 obj3 cons_head cons_tail prod_head prod_tail local variablescore 2 structure state cons_tail prod_head prod_next local variablescore 1 cons_tail prod_head prod_next core 2 is waiting forr->prod_tail == prod_head obj4 obj5