Code Editor : dh_strip_nondeterminism