Function amplifiedGlobalInvariant