nuke[] := Module[{r, ra, s, t}, Clear[bz, b3]; {s, ra} = {bz, b3} /. ps; 
      If[s == 0, Goto[o2]]; 
      r = nuke$function$needs$that$bz$is$defined$and$vanishing; Goto[o3]; 
      Label[o2]; r = nukevs[ra]; Label[o3]; Return[r]; ]
 
nukevs[b3w_] := Module[{z, w}, z = Max[0, (-1 + 3*b3w)/4]; 
      w = {z, z, 1 - 2*z}; Return[w]; ]