Add detector for KP 20113

Author: HugoGGuerrier

testsuite/tests/gnatcheck/xml_help/test.out

@@ -98,6 +98,7 @@ testsuite_driver: No output file generated by gnatcheck
       <check switch="+Rkp_19997" label="possible occurrence of KP 19997"/>
       <check switch="+Rkp_20023" label="possible occurrence of KP 20023"/>
       <check switch="+Rkp_20089" label="possible occurrence of KP 20089"/>
+      <check switch="+Rkp_20113" label="possible occurrence of KP 20113"/>
       <check switch="+Rkp_ob03_009" label="possible occurrence of KP OB03-009"/>
       <check switch="+Rkp_p226_024" label="possible occurrence of KP P226-024 - global analysis required"/>
       <check switch="+Rkp_q309_014" label="possible occurrence of KP Q309-014"/>
@@ -621,6 +622,7 @@ testsuite_driver: No output file generated by gnatcheck
       <check switch="+Rkp_19997" label="possible occurrence of KP 19997"/>
       <check switch="+Rkp_20023" label="possible occurrence of KP 20023"/>
       <check switch="+Rkp_20089" label="possible occurrence of KP 20089"/>
+      <check switch="+Rkp_20113" label="possible occurrence of KP 20113"/>
       <check switch="+Rkp_ob03_009" label="possible occurrence of KP OB03-009"/>
       <check switch="+Rkp_p226_024" label="possible occurrence of KP P226-024 - global analysis required"/>
       <check switch="+Rkp_q309_014" label="possible occurrence of KP Q309-014"/>