Complement operation does not keep function's reference

[pt7k]

1. Summary

   • Description: Bug Summary in 2 to 3 sentences.
   • When the ' complement operation is used on a function, it only applies to the ending () parameter and breaking down the function's name into a conjunction of its letters. The reference to that function is completely lost.
   • Similar thing is happening while applying it to a recurrence, but this time the reference is kept to a trimmed name (just the final letter) and the remaining letters are made into a conjunction.

2. Environment

   • Tau Version: for now "v0.7-alpha" -158
   • Build Number or Date: eb3d8e5
   • Operating System: Ubuntu

3. Steps to Reproduce
   Step 1: What input did you first provide?

func(x) := j | k
n func(x)'

Step 2: Any additional input to Tau?
Expected Result
j'k'
Actual Result
cfnux'

4. Additional Information

   • Error Messages or Logs:
   • Screenshots:
     

5. Severity and Impact

   • Severity Level: Trivial
   • Impact on Work: Broken reference to a function

6. Workaround (if applicable)

   • Tell us if you found a way around this problem:
   • The problem can be solved by wrapping parentheses around a function before applying the complement operator.

7. Contact Information

   • Name: pt7k
   • Email: Telegram @ksdjfskfh
   • Additional Notes: Any other message for the Tau Team

Submission Instructions

• Make sure to attach any input files to this bug report.
  mydemo_complement.tau.txt

[LuccaT95]

Dear pt7k,

Thanks for your report. We are currently working on a solution for this problem.

Best,
Lucca

[pt7k]

I believe this one can be closed now? Thanks @tklip for fixing the bug!