Exhibit bug in embedding.
Exhibit bug in embedding.

The bug is due to variable capture when converting from DeBruijn to
named representations.  Larry and I discussed this problem a few weeks
back, but we never fixed it.  I will fix it now.

spire/spire