Add an assert in compare_intersection_diff_by.py to check what was computed in the previous commit is correct.
Add an assert in compare_intersection_diff_by.py to check what was
computed in the previous commit is correct.

symbooglix/boogie-runner,symbooglix/boogie-runner