For #8 provide c_rule.
For #8 provide d_rule.
For #8 add trace(fn, lines).
For #8 add cd_trace, but results don't agree with tests/issue6.py.