Rover partition generation

Alexander Diewaldrequested to merge
rover_partition_generation into master

Fixes several bugs found in the DSE when testing with the large Fortissimo model.

Merge request reports