[pulse] revert reordering disjuncts in summary

Summary:
Reverts D61389838.

D61389838 increases analysis time and p99 for pulse even though it's a productive use of time because more normal executions are explored :/

Reviewed By: skcho

Differential Revision:
D64177816

Privacy Context Container: L1208441

fbshipit-source-id: 6c4e1a8cc4468d52e51b3ab532b0d034dc4cf35e

infer/src/pulse/PulseSummary.ml

@@ -211,20 +211,6 @@ let of_posts analysis_data specialization location posts non_disj =
           ~continue_program:(fun astate -> ContinueProgram astate)
           ~exception_raised:(fun astate -> ExceptionRaised astate)
         |> SatUnsat.sat )
-    |> List.sort ~compare:(fun x y ->
-           let id = function
-             | ContinueProgram _ ->
-                 0
-             | ExceptionRaised _ ->
-                 1
-             | ExitProgram _
-             | AbortProgram _
-             | LatentAbortProgram _
-             | LatentInvalidAccess _
-             | LatentSpecializedTypeIssue _ ->
-                 2
-           in
-           id x - id y )
   in
   {pre_post_list; non_disj= NonDisjDomain.make_summary non_disj}