get_domain(sched) == get_domain(get_env(schedule(sched)))

[dietmarkuehl]

The domain defined on the scheduler can be obtained from the scheduler's sender: that doesn't work in the current implementation (I think).