Procmail to Sieve translation

[Gerhard Wiesinger]

Hello,

I'm trying to move from procmail to dovecot sieve.

I found the translation script at 
http://www.dovecot.org/tools/procmail2sieve.pl
It works well except the following use cases:

* ^From:.*myemail at mydomain.com.*
| formail -I"X-Priority: 2 (high)" -I"X-mydomain-com-seen: yes" | 
$SENDMAIL -oi \
   myemail at mydomain2.com  \
   myemail at mydomain3.com

:0c
* ^From:.*myemail at mydomain.com.*
! +1123456789 at mysmsprovider.com

:0c
* ^(To|Cc|Bcc):.*myemail at mydomain.com.*
!   myemail at mydomain2.com myemail at mydomain3.com

Is there a possibility to support these use cases (can be done manually)?

How does forwarding to another domain work at the deliver process?

:copy seems not to be supported, right?

Thank you.

Ciao,
Gerhard