add Block::isDominatedBy (thusfar untested)