How to run model checker in scripts to find untied nodes in a tied contact? <?xml version="1.0" encoding="UTF-8"?>
