Marko,
Option B requires that there is a label switched path leading from a packet's ingress PE to its egress PE as stated in RFC2547bis. There is no IP layer forwarding at ASBR. In my mind that is then the same mpls domain, but word "domain" may mean different things to us.
PEing --- ASBR --- ASBR ---- PEegr
or
PEing --- ASBR --------------PEegr
depending on how you deal with next hop configuration on ASBRs.
But anyways there is LSP connectivity between routers in different ASes. As stated earlier I think that what we propose would give better isolation than option B.
Cheers, R.