BisectionVariables = {1}; ComplexMode = True; SDEvaluate[{x[1] + x[2], -x[1] x[2], 1}, {1, 1}, 0]

Returns wrong result. F is purely negative, sign change suggested