added alternative proof representation
Merge branch 'generic' of github.com:ggrov/psgraph into generic