public GlobalInvariantInfo(GlobalInvariantDecl i_decl)
{
decl = i_decl;
translatedName = null;
}
public void AddGlobalInvariant(GlobalInvariantDecl decl)
{
globalInvariants[decl.Name] = new GlobalInvariantInfo(decl);
}