Use separate inductives for allocation (refactoring).

Merged Rodolphe Lepigre requested to merge alloc_ind into master

Merge request reports