Use phantom types to refute LvalSet, ExprSet, ExpTriples and TypeSet
Use phantom types to refute LvalSet, ExprSet, ExpTriples and TypeSet

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