We made a grammar for the distinguishing formula and added a few test
cases.