Use failure property (in JPF) to highlight initial clues

[qiyitang71]

Original report by Artho Cyrille (Bitbucket: 557058:d037361a-d6a1-4cae-80e0-7b1940bbc779, GitHub: cyrille-artho).

---

From the failure property, isolate aspects that contribute to it, and highlight them.

• If JPF shows a deadlock or data race: highlight lock events.
• For a data race, NullPointerException, ArrayOutOfBounds: field accesses (in the case of a data race, in addition to lock events).