[wip] path dpr prover
sparsegraph makefile bug
foiled by gitignore
Debugging