check that regions are disjoint in Variables.setup_lcbc_operators()