Fix #37. Search graph is computed by maude and parsed by krun only if one of arguments --graph, --debug or --debug-gui is set.