VerificationReport now verifies that functions are implemented for pretty printing. Corrected benchmark
VerificationReport now verifies that functions are implemented for pretty printing.
Corrected benchmark

epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless