Change SetDomain.LiftTop to lift lattice operations independently from set operations
Change SetDomain.LiftTop to lift lattice operations independently from set operations

This is to avoid the implicit assumption that they are the same operation, which doesn't always hold, e.g. Reverse.

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