Add optimization assumption helper.