Created by: rvantonder
Switches the static rule generator to the combinatorial one.
Semantics-preserving with respect to current rules 😃