Antithesis of a One-in-a-Million Bug, Taming Demonic Nondeterminism