[Dovecot] sieve script

[Lampa]

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" ["u...@domain1.tld", "us...@domain2.tld",
"us...@domain3.tld"] {
        redirect "f...@bar.tld";
        redirect "f...@bar.tld";
....
        redirect "fo...@bar.tld";
} else {
        keep;
}
---------------

Converter script:
---------------
require ["fileinto","regex","envelope","vacation"];

if envelope :comparator "i;octet" :contains
"From.*(u...@domain1.tld|us...@domain2.tld|us...@domain3.tld)" "" {
        redirect "f...@bar.tld f...@bar.tld .... fo...@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