Using quidem tests to validate optimization rules

[Mihai Budiu]

Hello,

I was looking around to see whether it's possible to use a quidem test to 
exercise specific optimization rules, but I couldn't find anything. Is there 
such a mechanism, or should I file an issue to create one?

Thank you,
Mihai