The `policy xys = import(...)` syntax does not seem to be supported (see: https://docs.txpipe.io/tx3/language/cardano#native-scripts). Please update the documentation.