Almost total test coverage for OGRAPH

Still need renaming, subst and minimise/normalise (which used to use
isomorphism checking).
Test OGRAPH renaming functions