Support SV-COMP ReachSafety-Heap with Theta

[hajduakos]

This might be a longer-term plan. First step would be to have some partial support where at least we can parse and don't give wrong results (or harnesses can filter them).

[AdamZsofi]

Not top priority right now, but I'll run some benchmarks for this later, as we didn't even try this category earlier.