Verification for Decision Modeling and Notation