split parametric memory but not real one
basemem in both parametric and concrete exec
rewrite handler to avoid sequencing after conditionals