Unnecessary Renaming

[lambduli]

Describe the bug
Lambdulus renames lambda arguments even if not strictly necessary.

To Reproduce
Steps to reproduce the behavior:

1. Insert (λ t f . t) (λ t f . (λ t f . t) f t)
2. Click on Debug
3. Observe the highlighting
4. Do one Step
5. See the Step Message and the result

Expected behavior
Lambdulus shouldn't rename the f variable because there won't be any capturing happening.

Screenshots

Desktop (please complete the following information):

• Version: at the beginning of the 2022

Additional context
This is an error in the algorithm identifying the need for alpha renaming.