Updated script to generate graphs for derived facts.
Added more plots to plot_state_statistics.py.
Merge branch 'dev' into compiler