[Fatal error] exception DatalogLib__UnionFind.StoreAsMap.Store_Not_found
From ARA, after the execution of the example script, I try the command DRT parse Lambda e k. k e : S ;
. acg
interpreter returns Fatal error: exception DatalogLib__UnionFind.StoreAsMap.Store_Not_found
and exits (Thank Sylvain for simplifying the triggering term).
However I'm not able to replicate the error on the smaller attached example...