Updated to latest soot and core.logic
Fixed bugs in ast-invocation and friends (used to work with conda, now
had to change to a conde).
Trying to track down non-deterministic behavior in qwal queries .