Changes in CRC detection v6:

Changes in CRC detection v6:

     - Fixed memeory leaks caused by get_loop_body_in_dom_order function.
     - Added function, to find if in if implementations. The case, when after checking the MSB/LSB being 1, there is another check, where crc;s value is modified.
     - Refactored and added missing description of can_not_be_shift_of_crc function.

    Changes in Traverse and execute CRC function v10:
     - Added a check for debug statements, skipped those statments during symbolic execution.

    Changes in LFSR creation v6:
      - Return null if there is no one in the polynomial, when searching for last one in last_set_bit.
      - Create resuced size LFSR in create_forward_lfsr function.

    Addition in testsuit:
     - Added crc-26.c, crc-crc-reverse.c, crc-crc.c, crc-if-in-if.c tests.