Open PatrickDahlin opened 4 years ago
If I remember, these aren't always the same thing and so the code is being lazy and always printing both forms in case they don't match. We could probably store all the results in a set (store the strings as table keys with dummy values) and filter out duplicates before printing.
Removed extra printout of binding since it unnecessarily prints bindings twice