make it compile
only consider calls in the constraints dictionary
Teach Rule about the new constraints based priorities