Fix Enums.leq to not fail if the first argument is an empty inclusion set and the second is an exclution set.
Fix Enums.leq to not fail if the first argument is an empty inclusion set and the second is an exclution set.

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