Remove unused functions from ConcDomain.SimpleThreadDomain
Remove unused functions from ConcDomain.SimpleThreadDomain

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