eqT package:compdata

This function decides equality of terms with thunks.