Fixes for abdexp domain after various changes in metareasoning.
Formatting.