Buongiorno, mi permetto di rispondere alla sua domanda sebbene sia iscritto al forum da poco e sicuramente meno "esperto" in materia rispetto al gran numero di professionisti del settore che rendono questo spazio virtuale molto interessante e formativo.
In merito alla sua domanda non ho trovato nessun riferimento ufficiale circa il vincolo o meno dell'utilizzo dei vari claims menzionati.
Ho solo trovato riferimento nel comma 3 dell'art. 36 del Reg. 1169/11 da cui emergerebbe la necessità di una successiva disposizione comunitaria riguardo queste le diciture volontarie.
Sempre su valutazione personale, supportata anche da una precisazione presente sul sito dell'AIC, la dicitura "può contenere tracce di..." risulta essere consigliabile rispetto a "Prodotto in uno stabilimento che fa uso di...", in quanto ques'ultima risulta meno significativa circa il reale rischio di presenza di contaminanti allergenici nell'alimento.