LARA Decomposing Complex Expressions Simplifying Expressions in CFG Example: x = y * z + u * v becomes t1 = y * z t2 = u * v x = t1 + t2
