Refactored PR-generation
Merge branch 'master' of https://github.com/dbrabera/opengeode
minor update
Refactor initialization
Added detection of expressions that are always true or always false
Merge branch 'master' of https://github.com/dbrabera/opengeode

Conflicts:
	opengeode.py
Merge branch 'master' into llvm

Conflicts:
	opengeode.py