[pulse] also compare path conditions when comparing states
[pulse] also compare path conditions when comparing states

Summary:
States would be considered equal when they describe the same heap shape
even though their path conditions were different. Not good.

Reviewed By: skcho

Differential Revision: D26022135

fbshipit-source-id: 510913cde

jvillard/infer,facebook/infer,facebook/infer,facebook/infer,facebook/infer,facebook/infer,jvillard/infer,jvillard/infer,jvillard/infer,jvillard/infer,jvillard/infer,facebook/infer,facebook/infer,jvillard/infer