But, I can see why you'd want a more subtle test between this (strict) test and algebraic equivalence.
These features are all under development, so I'm happy to talk with you by email about exactly what you think is useful. I imagine there will be a lot of sensible scenarios and we should code these into the core to help avoid teachers needing to do all this on a question by question basis.
Chris