Have some trivial arc-consistency checking.