Revert "Remove unused CompareAST.global_type"
Revert "Remove unused CompareAST.global_type"

This reverts commit 2d2e26eb38cd99f96de2025e4d52d2d4e581f591.

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