works well for simple tests
update
Merge branch 'master' of https://github.com/adressel/prog_synth_xpath

Conflicts:
	cnf_files/output.cnf