Refactor tests, add link to Conjecture from Allocation

Refactor tests and add link to conjecture from allocation.