SourceView does not highlight symbolically executed statements (sometimes)

[unp1]

Description

Please describe your concern in detail!

The SourceView seems not too highlight symbolically executed statements in green, if the contract to be proven is inherited.

Reproducible

Is the issue reproducible?
Select one of: always, sometimes, random, have not tried, n/a

always

Steps to reproduce

Describe the steps needed to reproduce the issue.

1. Start KeY
2. Load Example ...
3. Select Dynamic Frames > List With Ghosts
4. Choose method add and start proof
5. Symbolically statements of add are not highlighted

What is your expected behavior and what was the actual behavior?

Additional information

Add more details here. In particular: if you have a stacktrace, put it here.

---

• Commit: f9f3fff (also KeY 2.12.1)