Chnages in testsuit: - Added -fdisable-tree-phiopt2 -fdisable-tree-phiopt3 flags...

Chnages in testsuit: - Added -fdisable-tree-phiopt2 -fdisable-tree-phiopt3 flags in test1 and test24.

Changes in Extract polynomial v2 and CRC detection v4:
  - Specify loop type by writing 'class loop'.

Changes in LFSR matching v2:
  - Wrote function to check conditions.
  - Added acceptable_diff, may_be_xors_condition, marginal_case_matches, match_lfsr_case1, state_matches_lfsr.
  - Modified condition_is_true/false, is_a_valid_xor_one functions.
  - Old state_matches_lfsr function name changed to state_matches_lfsr_all_cases.