Control flow for conditionals (if/else)

[aayan636]

We have added support for if/else in LineaPy. That means for code written within an if block, LineaPy would now be able to perform program slicing to generate cleaned-up code. To demonstrate this behavior, we see the following example:

import lineapy

a = 10
b = 20
if a <= 5:
    a = 5
    b = 5
else:
    a = 100
    b = 101

lineapy.save(a, 'a').get_code()

The slice generated by the artifact would be as follows:

a = 10
if a <= 5:
    a = 5
    b = 5
else:
    a = 100

Note that we are able to slice out the statement b = 101 as our analysis is able to infer that this instruction would not affect the artifact for a.
Note: Our analysis currently only works on branches that were visited during the development. In the above example, since the True branch was not visited, we do not perform any slicing on the unvisited branch. Support for unvisited branches shall be added in the future.