That is true but in most real estate business current assets are usually leveraged to pay for the next project. So it's a constant cycle of taking out a mortgage then paying it off. Which would mean a good percentage of his properties have some bank on the hook.
But you are certainly correct in that Trump may have put liens on those properties to raise cash and it didn't come out in the proceedings.
As you imply, if AG James seizes those properties, the lien holders, if any, will certainly be heard from.
I don't know about court seizures of properties but tax seizure liens usually take precedence over all other liens. It will be interesting to see how this situation plays out.