deletions | additions       diff --git a/figures/overview-osr-final/overview-osr-final.eps b/figures/overview-osr-final/overview-osr-final.eps  index 566ded4..2e7ba28 100644  --- a/figures/overview-osr-final/overview-osr-final.eps  +++ b/figures/overview-osr-final/overview-osr-final.eps 
...
%!PS-Adobe-3.0 EPSF-3.0  %%Creator: cairo 1.14.0 (http://cairographics.org)  %%CreationDate: Wed Sep 9 11:39:09 12:59:23  2015 %%Pages: 1  %%DocumentData: Clean7Bit  %%LanguageLevel: 2 
...
0 -1.25 Td  [( )-3( return f')]TJ  5.2 0 0 5.2 77.080469 38.164059 Tm  [(OS)-3(R)]TJ [(cont)]TJ  10 0 0 10 88.831247 88.557031  40.164059 Tm [(\(liv)-3(e vars\))]TJ  -7.923125 -7.895703  -1.25 Td [( B)]TJ  0 -1.25 Td  (})Tj  15.6 6.290234 Td  [(T f')]TJ  5.2 0 0 5.2 181.908594 76.066403 Tm  [(OS)-3(R)]TJ [(cont)]TJ  10 0 0 10 193.659374 193.385156  78.066403 Tm [(\(liv)-3(e vars\){)]TJ  -2.805937 -2.778516  -1.25 Td [( goto L)]TJ  0 -1.25 Td  [( A')]TJ  diff --git a/figures/overview-osr-final/overview-osr-final.png b/figures/overview-osr-final/overview-osr-final.png  index 68ce164..ea7da30 100644  Binary files a/figures/overview-osr-final/overview-osr-final.png and b/figures/overview-osr-final/overview-osr-final.png differ diff --git a/figures/overview-osr-final/overview-osr-final.svg b/figures/overview-osr-final/overview-osr-final.svg  index 65fecb7..92afe9e 100644  --- a/figures/overview-osr-final/overview-osr-final.svg  +++ b/figures/overview-osr-final/overview-osr-final.svg 
...
id="tspan4471"  style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10px;font-family:serif;-inkscape-font-specification:serif"> return f'  style="font-size:51.99999809%;baseline-shift:sub"  id="tspan4479">OSR(live id="tspan4479">cont(live  vars)  x="36"  y="-346" 
...
id="tspan4483"  sodipodi:role="line">T f'  id="tspan4485"  style="font-size:51.99999809%;baseline-shift:sub">OSR(live style="font-size:51.99999809%;baseline-shift:sub">cont(live  vars){  id="tspan4487"  y="-383.90234"