small fix
enriching saving of analyses results in HTML with information about counterexample and about the analysis scope