CBMC runtime analysis: Report solver query complexity metrics

[natasha-jeppu]

Issue #, if available:

Description of changes: Provides mapping between clauses and program instructions. Highlights instructions that contribute to the UNSAT core and provides a list of program lines that do not contribute any instructions/clauses to the UNSAT core.

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.