Changes in Traverse and execute CRC function v6: - Changed symbolic execution, to...

Changes in Traverse and execute CRC function v6: - Changed symbolic execution, to execute only those paths which may be executed. I.e., if the condition is true/false only execute that path, if the condition depends on symbolic values - execute both paths. - Check functions' return values. Stop the analysis if needed. - Added destructor. - Added SSA_NAME and VAR_DECL support for the assign statement.

Changes in Testsuit v2:
  - Changed crc-1.c test name to crc-24.c.
  - Added crc-1.c test.