Changes in Traverse and execute CRC function v3: - Assign value to phi's result....

Changes in Traverse and execute CRC function v3: - Assign value to phi's result. Keep previous executed bb, to determine phi's value for the executed path. - Changed make_symbolic_func_args_and_sizes function, modified output massages. - Added checks for POINTER_PLUS_EXPR, POINTER_DIFF_EXPR, MEM_REF, NOP_EXP cases in assignment statement. - For variable declaration call make_symbolic, instead of decl_var