fix: check function types when detecting congruences in grind (#6466)

fix: check function types when detecting congruences in grind (#6466) #25920