[FIXED] remove term as parent of its children if term is removed. To make efficient the removal of parents we have replaced std::vector with std::forward_list.
[FIXED] remove term as parent of its children if term is removed.
To make efficient the removal of parents we have replaced std::vector
with std::forward_list.

seahorn/crab,seahorn/crab