This function is the left-inverse of `combine_rules`, i.e.
split_rules(combine_rules(rs, group)) = rs for any variable `group`.
It is created to facilitate the addition or removal of rewriting rules.
Usage
split_rules(rs)
Arguments
rs
A list of (grouped) rewriting rules. Note that a list of n rules
without grouping is a list of n groups of single rule.