Added back complexity metrics to abdexp domain.