Refinement of fault localization
This MR is supposed to fix #887 (closed), #896 (closed) and #897 (closed) :
In addition, SSA indices are now shown in the formulas reported by fault localization, as these may be relevant to differentiate between different values of the same variable.
Edited by Thomas Lemberger