Add-on for i-score allowing static verification. It is based on the results presented in
Jaime ARIAS, Jean-Michaël CELERIER and Myriam DESIANTE-CATHERINE. "Authoring and Automatic Verification
of Interactive Multimedia Scores". In: Journal of New Music Research (2016).
DOI: 10.1080/09298215.2016.1248444.