Thinking about it, the systems are already programmed.
If an EU boarding card is presented, the system allocates the net price to an earned revenue account and the VAT amount to a Tax account to be submitted to the government. An EX-EU boarding card would trigger a similar split, but the VAT going to the pockets of the greedy slime-buckets running these companies. (Airlines included)