Here's a fun example where a minimal syntactic diff is confusing.
Difftastic has found `args` and `fty.ft_params` occurrences on the right, but it's not terribly useful! It's not even the same `args` as the right hand side is introducing a new binding.
