[FIX] avoid the use of the root_map generated by boost::strong_components because members of the same SCC were mapped to different roots which seems to contradict the boost documentation.
[FIX] avoid the use of the root_map generated by boost::strong_components because members of the same SCC were mapped to different roots which seems to contradict the boost documentation.

seahorn/crab,seahorn/crab,caballa/crab