Description

CatarinaGamboa

opened on Oct 8, 2026

Issue body actions

Problem
When we add a path condition, the variable getting that result is called freshX.
That works internally but it doesn't resonate a lot for a developer to understand thats a path condition.
We can use better names like then_branch or then, or similar ones, to clearly identify what the variable represents.

In the example below we can change the fresh to one of those solutions

Activity

1. CatarinaGamboa

   added

   enhancementNew feature or requestNew feature or request

   on Oct 8, 2026
2. CatarinaGamboa

   changed the title [-]Change fresh to then in path if[/-] [+]Rename `fresh` to more useful name[/+] on Oct 8, 2026
3. CatarinaGamboa commented on Nov 2, 2026

   

   CatarinaGamboa

   on Nov 2, 2026

   CollaboratorAuthor

   More actions

   The same names show up in the error-message study exercises, where they are most of what Found shows: JabRef's EditAction has #fresh⁸³⁸, #fresh⁸³⁹, #fresh⁸⁵¹, #fresh⁸⁵² and #fresh⁸⁵³ for the if/switch conditions above the call (example in #375). In OpenNMS's probe, the counterexample is #fresh¹²⁵⁶ == false, which a reader can't map back to a line of code (see also #453).
4. CatarinaGamboa

   added

   studyNeeded before the error-message user studyNeeded before the error-message user study

   on Nov 2, 2026
5. CatarinaGamboa

   added 3 commits that reference this issue on Nov 3, 2026

   Drop true binders the error does not need and write fields as in code (…

   70edf72

   Drop true rows for variables that another row of Found already shows (#…

   926f027

   Drop the bare true row left at the end of Found (#476)

   c974821
6. CatarinaGamboa

   closed this as completedin cd49feaon Nov 4, 2026
7. CatarinaGamboa

   added 2 commits that reference this issue on Nov 4, 2026

   Name generated values after what they are instead of #fresh

   This issue will close once commit a4a38c4 is merged into the 'main' branch.

   a4a38c4

   Name refined call results after the method, as the other generated va…

   This issue will close once commit 03b2d8b is merged into the 'main' branch.

   03b2d8b

Issue actions