Simplified a region contains another judgement