[
(None, ['=', ('VAR', 'x'), [('NAT', '24')]]), 
(None, ['=', ('VAR', 'y'), [('NAT', '15')]]), 
(None, ['=', ('VAR', 'd'), ['-', ('VAR', 'x'), ('VAR', 'y')]]), 
('.L3', ['noop']), 
(None, ['if', ['!=', ('VAR', 'd'), ('NAT', '0')], ['goto', '.L4'], ['goto', '.L5']]), 
('.L4', ['noop']), 
(None, ['if', ['>', ('VAR', 'd'), ('NAT', '0')], ['goto', '.L0'], ['goto', '.L1']]), 
('.L0', ['noop']), 
(None, ['=', ('VAR', 'x'), ['-', ('VAR', 'x'), ('VAR', 'y')]]), 
(None, ['goto', '.L2']), 
('.L1', ['noop']), 
(None, ['=', ('VAR', 'y'), ['-', ('VAR', 'y'), ('VAR', 'x')]]), 
('.L2', ['noop']), 
(None, ['=', ('VAR', 'd'), ['-', ('VAR', 'x'), ('VAR', 'y')]]), 
(None, ['goto', '.L3']), 
('.L5', ['goto']), 
(None, ['stop'])
]