Intuitive constraint verification in PADS