Fixed some bugs and tested on a toy program with branches. Minor modifications in DFF structure and in Analyzer class