Adds rule specialisation wrt. actions.
Adds specialisation for rules.