If I remember right, there was a table in your README where you could see some interesting score differences between Smatch and Smatch++ that I think are due to the optimality of Smatch++. Is there any write-up where this is reported? I want to mention in a thesis summary some projects that have used Smatch++.