The current implementation of the substitutability test used by acmp* when comparing two values has some performance issues, both when generating the method and when executing it.

Alternate implementations aiming to reduce these costs should be explored.