Invalidate resolution in simplification pass. * avoids skipping of unresolved targets in cfg construction. * fixes #11.
Invalidate resolution in simplification pass.
* avoids skipping of unresolved targets in cfg construction.
* fixes #11.

michael-emmi/bam-bam-boogieman,michael-emmi/bam-bam-boogieman