Test case for exact inference.
Add examples
Deal with multiple unevaluated recursions.