Remove unused imports
Remove unused var
flake8 fixes
Fix type analysis in conditional expressions
Refactor conditional expression node
Fix Ada generation for conditional expressions
Added test case for expressions
Update ignored files
Remove test 13
Update Makefiles
Added semantic checks on decision answer coverage
Fix missing types in conditional expressions
Fix type analysis for bitwise operators and Seqof/Bitstring operands
Added decision branch semantic checks for integers, enumerated, and
choice types ; added verification that DCL-variables are declared only
once ; added verification that a given input is not defined more than
once for a given state
Merge branch 'master' of https://github.com/dbrabera/opengeode
Fixed test9
Fixed test-substrings
Merge remote-tracking branch 'upstream/master' into llvm

Conflicts:
	.gitignore
	LlvmGenerator.py
	tests/regression/test13/Makefile
	tests/regression/test13/basic.pr
	tests/regression/test13/dataview-uniq.asn
	tests/regression/test13/expected
	tests/regression/test6/Makefile
	tests/regression/test8/Makefile
	tests/test.py
Fix code generation for built-in length operator