How to annotate a-t-il ?

We choose this annotation for -t-il :

Thus, we consider -t-il as a PRON with the lemma lui. We consider -t-il as an allomorph of il. -t is not a syntactic element, it is a morphophonological rule that introduces the sound /t/.

Similar annotation are used for -t-elle and -t-on.