Donde que é incontroverso, como de resto proclamado na própria decisão arbitral recorrida, que a questão debatida era a de saber se a AT devia ter corrigido a conta-corrente do PEC em 2015, como se o benefício relativo ao RFAI respeitante aquele exercício tivesse sido declarado, do que resultaria um saldo maior de PEC a deduzir em 201