An example of a mod which allows a user to run single quint tests