a little refactoring stuff in ./applications/demos/graph concerning verification procedure
a little refactoring stuff in ./applications/demos/graph concerning verification procedure