corrected x86g_calculate_condition symbolic execution + negate some branches