Formalize enum value assert pattern