[PVerifier] Improve proof speed by not generating unused procedures - #934

[PVerifier] Improve proof speed by not generating unused procedures#934

TheKK wants to merge 3 commits into

p-org:masterp-org/P:masterfrom

TheKK:unused_proceduresTheKK/P:unused_proceduresCopy head branch name to clipboard