Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types