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

Conflicts:
	opengeode.py