sudo -u postgres -i sh -c "dropdb ag_gen" || true
sudo -u postgres -i sh -c "createdb ag_gen ag_gen"
psql ag_gen < schema.sql
./ag_gen -n ../examples/thesis_example.nm -x ../examples/thesis_example.xp -g DOTFILE2.dot -t 1 -q 1
dot -Tsvg DOTFILE2.dot > ag.svg