In general, whether something is an allergen or not is driven by the thing itself, not the fact that it's an ingredient. If it's being used only for when the substance is expressed as a code, then there should be an invariant that limits its use to code

Proposed Wording:

lloyd@lmckenzie.com

(Comment 39 - imported by: Ron G. Parker)