Analysis.Demandedness Analysis.Deterministic Analysis.Files Analysis.Groundness Analysis.HigherOrder Analysis.Indeterministic Analysis.Logging Analysis.NondetOps Analysis.ProgInfo Analysis.RequiredValue Analysis.RequiredValues Analysis.Residuation Analysis.RightLinearity Analysis.RootReplaced Analysis.SensibleTypes Analysis.SolutionCompleteness Analysis.TermDomain Analysis.Termination Analysis.TotallyDefined Analysis.TypeUsage Analysis.Types Analysis.UnsafeModule Analysis.Values