Including 'immintrin.h' file breaks test generation

[tyuldashev]

Description Whenever user includes immintrin.h file it causes many errors during compilation on server side and inability to generate tests.

To Reproduce

1. Add line #include<immintrin.h> to some existing and working project
2. Try to generate tests

Expected behavior Tests are supposed to be generated.

Actual behavior Generation fails with error: Couldn't compile klee file from correct methods.

Log errors start with (full log attached):

In file included from /home/utbot/remote/SampleDocker2/build/utbot_files/src/quick_sort_klee.c:5:
In file included from /home/utbot/remote/SampleDocker2/src/quick_sort.c:2:
In file included from /home/utbot/distr/2022.10.5/utbot_distr/debs-install/usr/lib/gcc/x86_64-linux-gnu/9/include/immintrin.h:29:
/home/utbot/distr/2022.10.5/utbot_distr/debs-install/usr/lib/gcc/x86_64-linux-gnu/9/include/xmmintrin.h:130:19: error: use of unknown builtin '__builtin_ia32_addss' [-Wimplicit-function-declaration]
  return (__m128) __builtin_ia32_addss ((__v4sf)__A, (__v4sf)__B);
                  ^
/home/utbot/distr/2022.10.5/utbot_distr/debs-install/usr/lib/gcc/x86_64-linux-gnu/9/include/xmmintrin.h:130:10: error: invalid conversion between vector type '__m128' (vector of 4 'float' values) and integer type 'int' of different size
  return (__m128) __builtin_ia32_addss ((__v4sf)__A, (__v4sf)__B);
         ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/home/utbot/distr/2022.10.5/utbot_distr/debs-install/usr/lib/gcc/x86_64-linux-gnu/9/include/xmmintrin.h:136:19: error: use of unknown builtin '__builtin_ia32_subss' [-Wimplicit-function-declaration]
  return (__m128) __builtin_ia32_subss ((__v4sf)__A, (__v4sf)__B);
                  ^
/home/utbot/distr/2022.10.5/utbot_distr/debs-install/usr/lib/gcc/x86_64-linux-gnu/9/include/xmmintrin.h:136:10: error: invalid conversion between vector type '__m128' (vector of 4 'float' values) and integer type 'int' of different size
  return (__m128) __builtin_ia32_subss ((__v4sf)__A, (__v4sf)__B);
         ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/home/utbot/distr/2022.10.5/utbot_distr/debs-install/usr/lib/gcc/x86_64-linux-gnu/9/include/xmmintrin.h:142:19: error: use of unknown builtin '__builtin_ia32_mulss' [-Wimplicit-function-declaration]
  return (__m128) __builtin_ia32_mulss ((__v4sf)__A, (__v4sf)__B);
                  ^
/home/utbot/distr/2022.10.5/utbot_distr/debs-install/usr/lib/gcc/x86_64-linux-gnu/9/include/xmmintrin.h:142:10: error: invalid conversion between vector type '__m128' (vector of 4 'float' values) and integer type 'int' of different size
  return (__m128) __builtin_ia32_mulss ((__v4sf)__A, (__v4sf)__B);
         ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/home/utbot/distr/2022.10.5/utbot_distr/debs-install/usr/lib/gcc/x86_64-linux-gnu/9/include/xmmintrin.h:148:19: error: use of unknown builtin '__builtin_ia32_divss' [-Wimplicit-function-declaration]
  return (__m128) __builtin_ia32_divss ((__v4sf)__A, (__v4sf)__B);