Tracing prover generates malformed states

[krivard]

When running with --prover tr, some problems generate java.lang.ArrayIndexOutOfBoundsException: -1 at edu.cmu.ml.proppr.prove.wam.State.hasConstantAt(State.java:38). Someone somewhere is putting a bad value in the register, but not always -- the normal test cases run fine with tr.

Hints on how to reproduce may be located in Rose's data:

INFO [QueryAnswerer] Executing Multithreading job: streamer: edu.cmu.ml.proppr.QueryAnswerer.QueryStreamer transformer: null throttle: -1
q(usr11,X1) => q(usr11,X1).
ERROR [QueryAnswerer] Execution trouble with #1
java.util.concurrent.ExecutionException: java.lang.ArrayIndexOutOfBoundsException: -1
at java.util.concurrent.FutureTask.report(FutureTask.java:122)
at java.util.concurrent.FutureTask.get(FutureTask.java:192)
at edu.cmu.ml.proppr.util.multithreading.WritingCleanup$RunWritingCleanup.run(WritingCleanup.java:41)
at edu.cmu.ml.proppr.util.multithreading.Cleanup$TryCleanup.run(Cleanup.java:47)
at java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:511)
at java.util.concurrent.FutureTask.run(FutureTask.java:266)
at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142)
at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617)
at java.lang.Thread.run(Thread.java:745)
Caused by: java.lang.ArrayIndexOutOfBoundsException: -1
at edu.cmu.ml.proppr.prove.wam.State.hasConstantAt(State.java:38)
at edu.cmu.ml.proppr.prove.wam.State.dereference(State.java:72)
at edu.cmu.ml.proppr.prove.wam.ProofGraph.asDict(ProofGraph.java:146)
at edu.cmu.ml.proppr.prove.wam.ProofGraph.fill(ProofGraph.java:166)
at edu.cmu.ml.proppr.prove.TracingDfsProver.beforeDfs(TracingDfsProver.java:32)
at edu.cmu.ml.proppr.prove.DfsProver.dfs(DfsProver.java:73)
at edu.cmu.ml.proppr.prove.DfsProver.dfs(DfsProver.java:92)
at edu.cmu.ml.proppr.prove.DfsProver.dfs(DfsProver.java:65)
at edu.cmu.ml.proppr.prove.DfsProver.prove(DfsProver.java:114)
at edu.cmu.ml.proppr.prove.DfsProver.prove(DfsProver.java:25)
at edu.cmu.ml.proppr.QueryAnswerer.getSolutions(QueryAnswerer.java:121)
at edu.cmu.ml.proppr.QueryAnswerer.findSolutions(QueryAnswerer.java:133)
at edu.cmu.ml.proppr.QueryAnswerer$Answer.call(QueryAnswerer.java:202)
at edu.cmu.ml.proppr.QueryAnswerer$Answer.call(QueryAnswerer.java:192)
... 4 more

I'm running the code on sijo: /home/rkanjira/kdd16imdb
command: nohup proppr answer test.queries test.answers --programFiles imdbA.wam:imdb_train_A.graph:imdb.graph:imdb.cfacts --apr eps=1e-4:alph=0.0001:depth=12 --duplicateCheck -1 --prover tr > nohupTest.out

my Proppr installation on sijo is at: /home/rkanjira/ProPPR-new/