Exploring Program Equivalence as a Means of Comparing Definitional Interpreters