Analyzed 2 packages
============================================
 Unsupported feature |   Crates | Instances
                     | impacted |    of use
---------------------+----------+-----------
 try                 |        2 |         3
============================================
=========================================
 Reason for failure    | Number of tests
-----------------------+-----------------
 unsupported_construct |               3
 none (success)        |               3
=========================================
=======================================================================================================================
 Candidate for proof harness          | Location
--------------------------------------+--------------------------------------------------------------------------------
 a_supported_test_from_tests          |
 a_supported_test_from_the_lib        |
 a_supported_test_from_the_subpackage |
=======================================================================================================================