[m-rev.] for review: replace nondet code in deep profiler

[Zoltan Somogyi]

On Wed, 15 Jul 2015 18:55:01 +0200 (CEST), "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> For review by Paul.

I have committed this.

Zoltan.