That's what I advised my friend – that she should've been able to use Prio. Unfortunately, the two gatekeepers in front of hall 3 redirected her to 'Foreign passport' line where there's at least a 10-15 min wait, and when she told them she's eligible to use priority, they shook their heads... even when she showed them her F BP.

Quite an interesting interaction, but not totally unexpected.