Applications of Shattered Control Flow
Use shattered control flow to adapt to different situations
-- Take squaroot, preserve sign
if X>=0 then Y := sqrt(X);
else Y := - sqrt(-X);
end;
Shattering saves writing procedures for promotion, i.e. a shattered statement acts like an anonymous promoted function
Most applications of shattering can be realized by masking