Enable memset handling and byte-level heap in predicate analysis
This activates the improvements from #296 and #664 / !107 (merged) by default for those configurations of the PredicateCPA that do not involve interpolation.
This activates the improvements from #296 and #664 / !107 (merged) by default for those configurations of the PredicateCPA that do not involve interpolation.