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