Artifacts of viatra-modelobfuscator-master #53