From: Vadim Mutilin <mutilin@ispras.ru>
Date: Tue, 4 Nov 2014 18:31:10 +0400
Subject: [PATCH] Implement initial version of signlePathMatching

For automaton with a single path:
If both start and end line is matched then sink all the other edges.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14296 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c