Rule checks for differential pair constraints