Can AI expose tax loopholes? Towards a new generation of legal policy assistants