Allow choice between minWCET allocation and simple allocation