1) psgraph all setup now
2) support isabelle method
2) a compeete demo thy file "method_test"