To live and let die (variables)

Symbolic Execution part 1

CFG

Back to basics