Draw variables too.  Better probabilities.
Def-use chains with tests.