all_first_order() only works if renumbering is allowed.

This addresses issue #293.