Inconsistent behavior for startstate in incremental analysis based on whether AST or CFG comparison is used

[sim642]

Extracted from #1392:

Remove TODO only if passing thanks to analysis improvement. Otherwise improvement is unsound from a bug.

update_suite incremental ast

• Excellent: ignored check on ../11-restart/13-changed_start_state2.c:10 is now passing!
• Excellent: ignored check on ../11-restart/13-changed_start_state2.c:11 is now passing!

---

Resolved

update_suite #1428

• Excellent: ignored check on tests/regression/04-mutex/58-pthread-lock-return.c:73 is now passing!: OSX difference
• Excellent: ignored check on tests/regression/04-mutex/58-pthread-lock-return.c:82 is now passing!: OSX difference
• Excellent: ignored check on tests/regression/04-mutex/58-pthread-lock-return.c:87 is now passing!: OSX difference
• Excellent: ignored check on tests/regression/57-floats/15-more-library.c:42 is now passing!: OSX difference
• Excellent: ignored check on tests/regression/57-floats/15-more-library.c:56 is now passing!: OSX difference
• Excellent: ignored check on tests/regression/57-floats/17-other.c:18 is now passing!: OSX difference

update_suite group apron #1428

• Excellent: ignored check on tests/regression/36-apron/21-traces-cluster-based.c:48 is now passing!
• Excellent: ignored check on tests/regression/36-apron/21-traces-cluster-based.c:66 is now passing!
• Excellent: ignored check on tests/regression/36-apron/21-traces-cluster-based.c:69 is now passing!
• Excellent: ignored check on tests/regression/36-apron/22-traces-write-centered-vs-meet-mutex.c:25 is now passing!
• Excellent: ignored check on tests/regression/36-apron/34-large-bigint.c:18 is now passing!
• Excellent: ignored check on tests/regression/36-apron/38-branch-global.c:13 is now passing!
• Excellent: ignored check on tests/regression/36-apron/42-threadenter-arg.c:6 is now passing!
• Excellent: ignored check on tests/regression/36-apron/91-mine14-5b-no-threshhold.c:49 is now passing!

update_suite group apron2 #1428

• Excellent: ignored check on tests/regression/46-apron2/75-mutex_with_ghosts.c:56 is now passing!

update_suite group termination #1428

• Excellent: ignored check on tests/regression/78-termination/25-leave-loop-goto-terminating.c for term is now passing!
• Excellent: ignored check on tests/regression/78-termination/28-do-while-continue-terminating.c for term is now passing!