Measuring The Quality Of Inferred Interfaces For Statically Typed Languages Measuring The Quality Of Inferred Interfaces