[Dovecot] sieve script

Hello,

after qmail migration need convert some .procmailrc scripts. Found converter procmail -> sieve, but i'm not sure of quality of conversion.

My script:

if header :contains "from" ["user@domain1.tld", "user2@domain2.tld", "user3@domain3.tld"] { redirect "foo1@bar.tld"; redirect "foo2@bar.tld"; .... redirect "foo20@bar.tld"; } else { keep; }

Converter script:

require ["fileinto","regex","envelope","vacation"];

if envelope :comparator "i;octet" :contains "From.*(user@domain1.tld|user2@domain2.tld|user3@domain3.tld)" "" { redirect "foo1@bar.tld foo2@bar.tld .... foo20@bar.tld"; }

if true { fileinto "$DEFAULT"; }

Converter script is cannot be compiled. But it used other style envelope.

So what is difference between envelope and header ? And there are some limits for redirect ?

Thank you.

Lampa