Re-enable term sorting in odesimp()