Some work on the implementation section - mostly about the analysis improvement by taking into account the boolean expressions in branches.
Code work on conditions to increase precision of analysis by using boolean expressions.