WIP: Updated exact inference implementation.  Compiler still crashing on tests.