C-ANALYZER Implemented

Works for the given testcase