AFAICT, `FoqMethodQuery` directly calls this method. If this is the case, removing this function would prevent the code from compiling.

If so, doesn't Code Analysis for F# seem positively counter-productive?