Introduce support points

This CL introduce the notion of support points into the model and deploys them
for just one rule. On my machine, this CL slows down the tests from 35s to 40s,
but support points are important to the system.