Can't really tell what's wrong, but I've fixed some parts that didn't
make sense...
Safety Save
Safety save - just before changing solve to compile into on the
definite clause list instead of dummyDC
so, so, so close!