WYONE: ok, I figured out the bug.  The problem is that some rules create temporary objects which are never connected into the reachable graph.  However, the reduction and inferene rules are dumb and examine all possible objects, not just those which are reachable.
WYONE: ok, I figured out the bug.  The problem is that some rules create temporary objects which are never connected into the reachable graph.  However, the reduction and inferene rules are dumb and examine all possible objects, not just those which are reachable.

hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,Whiley/WhileyCompiler