/// <summary>
/// Completes the analysis
/// </summary>
public void Complete()
{
Contract.Requires <InvalidOperationException>(!IsCompleted, UniverseCompletedErrorMsg);
_knownTypes.Complete();
_knownMethods.Complete();
_allocSites.Complete();
Debug.Assert(_knownMethods.Values.All(mf => !mf.IsDecompilable || mf.INVA.AnalysisDone));
IsCompleted = true;
PostProcess();
}