Added semantic checks on decision answer coverage
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
Fix type analysis for bitwise expressions with reference element types.
Merge remote-tracking branch 'upstream/master'