public int SuggestPotentialPreconditions(IOutput output)
 {
     return(RecordProfilingInformation(inner.SuggestPotentialPreconditions(output)));
 }