Created by: rvantonder
Just a simplification I spotted. No reason to not allow individual rules to be a composition of rules.
Semantics preserving