func: static void goodB2G1() size_t data ; data = 0; if ( staticReturnsTrue ( ) )  static int staticReturnsTrue() return 1 ; data = rand ( ); if ( staticReturnsFalse ( ) )  static int staticReturnsFalse() return 0 ; if ( data > strlen ( HELLO_STRING ) && data < 100 )  