We don't really have transfer functions, just nuke the info instead of propagating it.

For some reason putting Dom.empty into the branch-rule will give wrong results on our example, but ctx.local works (for now). I will try to find out what's going on here with Kalmer.