Merge branch 'develop' into 'master'

.../unikoblenz/fgbks/dmn/core/verifier/AbstractVerifier.java

...de/unikoblenz/fgbks/dmn/core/verifier/IdenticalRules.java

...a/de/unikoblenz/fgbks/dmn/core/verifier/MissingRules.java

.../unikoblenz/fgbks/dmn/core/verifier/OverlappingRules.java

...oblenz/fgbks/dmn/core/verifier/PartialReductionRules.java

.../unikoblenz/fgbks/dmn/core/verifier/SubsumptionRules.java

...e/unikoblenz/fgbks/dmn/core/verifier/helper/Boundary.java

...e/unikoblenz/fgbks/dmn/core/verifier/helper/DataType.java

...de/unikoblenz/fgbks/dmn/core/verifier/helper/RuleMap.java

...va/de/unikoblenz/fgbks/dmn/core/verifier/helper/Type.java

...a/de/unikoblenz/fgbks/dmn/core/verifier/helper/Value.java

dmn-verifier-app/src/main/resources/sampleDMN.dmn

...ikoblenz/fgbks/dmn/core/verifier/helper/BoundaryTest.java