Function checked_xor_result 

pub(in runtime::solver) fn checked_xor_result(
    constraints: &[SymBoolExpr],
) -> Option<CheckedXorResult>

Returns only independently checked answers, using the original, unnormalized constraints.