Remove incorrect replace implementation for unrolling

Instead of replacing in unrolling we do a completely new phase,
minimizing, as work around. We also panic more often on pointer usage.

Fixes #13 and #14