Insturment if statements with control flow logger

[bestchai]

#Overview
all if statements must be instrumented with calls to the cflogger. The root of each if statement should be matched with a call to setFalse(), and the internal of each statement should be matched with setTrue().

During the code injection phase of instrumentation, only variables affected by data flow of true marked if statements should be logged.

#Example
This example involves file source.go in package main

##Before

#!go
    0   if ( conditional ) {
    1       doIt()
    2    } else {
    3         doItAnyways()
    4    }

After

#!go
   0   instrumenter.Cflogger.setFalse("main_source_ifstatement_L0")
   1   if ( conditional ) {
   2       instrumenter.Cflogger.setTrue("main_source_if_L0")
   3       doIt()
   4   }  else {
   5       instrumenter.Cflogger.setTrue("main_source_else_L2")
   6       doItAnyways()
   7   }

[Issue created by wantonsolutions: 2015-08-21]