Changes for Pull Request bench#85: Automatic Generation of Test Cases for Incremental Static Analysis

Changes for Pull Request bench#85: Automatic Generation of Test Cases for Incremental Static Analysis #6905