Evaluate probability regs before putting them in the probability_heads list.
Add an assert.
Add field flags to computation.
Add note about invalidate_shared_regs( ).
Don't assume patterns[i] is an expression.
Make Demo.hs more interesting.
Don't assume F is an expression.
Print the dot graph when exceptions are thrown.