Add sanity check to sync dependency component in PathSensitive3
Add sanity check to sync dependency component in PathSensitive3

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer