Closed this issue 6 years ago · 1 comments
Take inspiration from the deleted tests for the old reformulation rule (still present in git history)
Part of #6