Changes in Traverse and execute CRC function v2: - Added support of traversing all...

Changes in Traverse and execute CRC function v2: - Added support of traversing all paths of the function. - Added functions to check statement type and execute some expressions.

Changes in CRC detection v2:
  - Added and changed comments to clarify the behavior of crc detection pass.
  - Ended all sentences with '.'.
  - Added static member cond_true_is_checked_for_bit_one.
  - Changed get_return_value_size function name to set_return_value_size.
  - Don't print return value size in set_return_value_size function.
  - Call execute_function after detecting CRC-like function