found more tests that pose problems
found examples that make the finish_assignment method go into an endless loop