cnf_maker rule 3 fixed
Merge branch 'master' of https://github.com/adressel/prog_synth_xpath

Conflicts:
	prog_synth_xpath/CNF_maker.scala