Is it possible to have Document.GetChildren not return .trashed files? By default they are included:

    {
      "path": "/test/The Basics.pdf._1547968140071_.trashed",
      "uid": "44cf396c-dbe3-4e21-8886-e0a1d3a76a91",
      "properties": {},
      "title": "The Basics.pdf",
      "type": "File"
    }

The @children operator on the other hand, does not include them by default.