one possible syntax
make it compile
only consider calls in the constraints dictionary
Teach Rule about the new constraints based priorities
Merge with master