Software Artifact for the paper "ADTLang: A Programming Language Approach to Attack-Defense Trees" - Hansen, René Rydhof (2019)