add shortcuts so that regex-checks are only done if pattern is non-empty; this pays off when doing many repeated abstractions, e.g., during value analysis interpolation

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