Assert discrete ERP on enumeration