Generalised (and instantiated for isabelle) graph and psgraph (still error in psgraph-comb)