Maybe I'm just being dense. Does :all correspond to user@domain, or to userseparatordetail@domain?
Both seem to be desirable.
If the latter, then the fairly common idiom
if envelope :is :all "arnt@xxxxxxxx" { ...
is not compatible with using subaddresses.
Hm.
Arnt